thumb|The Pythagorean theorem has at least 370 known proofs.
A theorem is a mathematical statement that has been proven to be true based on logical reasoning and previously established facts. The Pythagorean theorem, which describes the relationship between the sides of a right triangle, is a famous example that mathematicians have verified through hundreds of different proofs, showing how important and useful such proven statements are.
AI-generated from the Wikipedia summary — may contain errors.
thumb|The Pythagorean theorem has at least 370 known proofs.
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).