Theorist Lance Fortnow: Claude Writes Math Better, Rewrites Unique Games Paper
fortnow · x · 2026-10-09
Theoretical computer scientist and Computational Complexity blogger Lance Fortnow shares a hands-on comparison: OpenAI models are currently stronger at mathematical proofs, but Claude does a better job writing up mathematics — so he had Claude rewrite a new version of the Unique Games paper.
A notable academic's direct comparison of frontier models across different stages of math research, with the output linked.
More from Models
- Users complain OpenAI is silently swapping models mid-chat even on the Pro plan — Slow_Ad1827 · 2026-10-09
- GPT-6 reportedly rolling out with Intelligent UI — answers embed interactive tools — winer666 · 2026-10-09
- Anthropic's push for "clean" training data criticized for ignoring real human behavior — ssh4net · 2026-10-09
- COLM poster: behaviors thinking models amplify aren't the ones that drive good outcomes — Jeande_d · 2026-10-09
- EngramEdit: near-perfect fact editing in LLMs via conditional memory, 3x baseline CoT accuracy — teortaxesTex · 2026-10-09
- ThursdAI: OpenAI drops 722 math papers, Haiku 5.5 hits 10 cents, Arena raises $200M — altryne · 2026-10-09