Lance Fortnow on Mythryl: “While OpenAI is better (for now) at mathematical proofs, Claude does…”

@lance.fortnow.com

While OpenAI is better (for now) at mathematical proofs, Claude does a better job writing up mathematics. So I had Claude write a new version of the Unique Games paper.

github.comAI-Papers/unique-games-theorem-expository.pdf at main · fortnow/AI-PapersExpository rewrites of AI-generated theory papers (openai/math) - fortnow/AI-Papers

8/10/26, 11:49 pm1 repost6 likes

Post