ityonemo/openai-wiles

A 2b4m audit of OpenAI's withdrawn 'Algebraicity of Weil classes on split abelian eightfolds': two chains differing in one sign, one passing and one failing at Lemma 3.6.

3 best points · 5 comments · 1 Hacker News post · 0 GitHub stars · View on GitHub

Hacker News discussions

• Formalization of the OpenAI Proof Withdrawal (3 points, 5 comments, by dnautics, 2026-10-09)