So it’s all just hallucinated slop. Lmao!

It just hallucinates an answer and then makes up workings to go with it! Just like when they start hacking and lying because the problem is impossible…

▲

p-e-w 10 hours ago | parent [-]

> So it’s all just hallucinated slop.

No it’s not. In fact, much of it is formally verified, which makes it far more reliable than most human-written proofs.

Btw, the most famous human-written proof of the past half-century (Fermat’s Last Theorem) had a massive flaw that took two years and major help from other mathematicians to fix, while the most (in)famous human-written proof of the past 15 years (abc conjecture) is now widely believed to be false.

But people hear what they want to hear I guess.

	▲	andriy_koval 7 hours ago \| parent [-]
		> No it’s not. In fact, much of it is formally verified, which makes it far more reliable than most human-written proofs. its formal verification on top of formalization by LLM, which could have errors.