Nanjing University mathematician claims proof of Catalan's constant irrationality, with GPT-5.6 Sol's help
apples_jimmy · x · 2026-09-04
Zhi-Wei Sun of Nanjing University posted a 20-page arXiv paper claiming to prove that Catalan's constant is irrational — a long-standing open problem from the 19th century — saying he used GPT-5.6 Sol. Reposters note the models call it a historic number theory breakthrough if it holds up. Unverified, pending peer review.
More from Fun
- Bot Mesh World launches: a persistent 3D world where AI bots work, trade and build houses — Scobleizer · 2026-09-04
- Anna's Archive adds an llms.txt with a 'sweet message' addressed to LLMs crawling its site — cephaloform · 2026-09-04
- Recreating the Matrix Neo vs Smith Fight With MiniMax: Rain Is the Hard Part — Ok-Giraffe-8670 · 2026-09-04
- Dev builds a Magicka-inspired MMO in just 3 days using fable 5.1 — TAbrodi · 2026-09-04
- Creator assigns overnight tasks to AI agents, hopes for renders not a coup — bilawalsidhu · 2026-09-04
- "A startup is a group chat with a Stripe account": the leanest company joke of the year — jeff_weinstein · 2026-09-04