ChatGPT 5.6 Sol Pro believes that the proof is sound. Usually it’s very good at determining if proofs are correct and their mistakes (a friend of mine is a top mathematician researcher and confirmed): https://chatgpt.com/share/6a515ead-b464-83ed-b85c-c8674f56ea...

Personally this gives me additional confidence that this is the real deal.

▲

stavros 2 hours ago | parent [-]

Of course it believes the proof is sound, it wrote it. If you want to check an LLM's output, you should use a different LLM.

▲

noname120 2 hours ago | parent [-]

Your comment is not substantiated at all.

▲

stavros an hour ago | parent [-]

If you'd ever tried to get an LLM to review its own code, you'd know.

	▲	teravor 5 minutes ago \| parent [-]
		if you get the same session that wrote the code to review it, the poor results are entirely deserved. and if you get a different instance to review the code then you would know that it works rather well.