Why “proofs” is being discussed
The most recent Hacker News stories and comments contributing to this topic's mentions.
Math is the tool humans use to compress knowledge. So until we can comprehend it there really isn't much progress. Math theorems are tautologies, the truth of which are not depe…
by fspeech · Oct 6, 2026
A lack of elegance in AI-generated proofs is just because we haven't developed the right loops, graphs, and evals yet.
by bitwize · Oct 6, 2026
Yes, you can see the latest resolved ones here: https://www.proofatlas.ai/open-problems/#resolved-problems . I'm currently doing updates in batches, but I'm…
by zone411 · Oct 6, 2026
I don't think that's correct. > Following an investigation, we have confirmed that Buckmaster’s Codex prompts over the two months preceding this announcement and paper on Septem…
by user43928 · Oct 6, 2026
UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs
by optimalsolver · Oct 6, 2026 · 2 points
> All the major AI-generated proofs so far were done by AI without using lean Is that true? I was under the impression they used lean as they went.
by j2kun · Oct 6, 2026
Interest
Proportion of Hacker News items mentioning "proofs" over time.
Mentions
Total number of Hacker News items mentioning "proofs" over time.
Proof most often refers to:Proof (truth), argument or sufficient evidence for the truth of a proposition Alcohol proof, a measure of an alcoholic drink's strength Read more on Wikipedia