Mathematical Proofs Debate
Commenters demand explanations, examples, and verifications of proofs mentioned in an article, debating their formality, constructiveness, and relation to AI or computer-assisted proofs.
Activity Over Time
Top Contributors
Keywords
Sample Comments
Would be nice if the article explained the proofs.
Did I say it was a mathematical proof?
The proof doesn't have to be constructive
Would you mind elaborating on the proof?
Theorem without proof is unsatisfying.
If the proof is simple, give it.
Can you give an example of the type of theorem or proof you're talking about?
Intuitive explanation about the proof? That might be tricky because it took a computer to prove it.
An LLM cannot reason through a mathematical proof, it would be something other than an LLM if it could.
You can prove a theorem, but who shall prove the proof?