alt Hacker Newsit's not actually proving it though? It's more like stringing it together. A person or LEAN has to actually provde something. I've yet to see anything other than AI-slop produces simulcra of proofs. If it were proving something it'd be <insert mathematician> validates AI proof.
Replies
antonvs • today at 5:39 PM
Stringing what together? A sequence of logical implications? The word for that is "proof".
➕ show 1 reply
I don't you what you mean. People have used the above harness (or similar) to prove significant results. See this recent paper [1], which claims
> The human authors take full responsibility for the claims and proofs contained in this paper, and have carefully refined and verified them. The construction and main ideas of the proof were generated entirely by Codex using GPT 5.6 Sol Ultra, using harness ideas generated by the authors based on the UCLA Moonshot Harness [ZHC+26] and [Ope26].
[1] https://arxiv.org/pdf/2607.21551 (Statement on AI usage is at the bottom of page 3).