A math student allegedly used an LLM to prove 60,000 theorems in one weekend
burkov · x · 2026-07-27
A post claims a math student used an LLM to prove 60,000 theorems over a weekend, while other students used LLMs to verify the proofs. The punchline is a single line: “We live in the singularity!”
More from Fun
- Reading old books is like reading civilization’s system prompt — Kyrannio · 2026-07-27
- Creator releases an AI-collab song built with two different models — Mpire2025 · 2026-07-27
- Google AI Overview tells a baby sphere to sing, glow, and roll away — Sauers_ · 2026-07-27
- RL-tuned 975B open-weights Inkling gets shorter, steadier dad jokes — shizhediao · 2026-07-27
- A stats meme turns Simon Wood’s REML smoother into a joke about overfitting — Sauers_ · 2026-07-27
- A post turns Opus 3 into a mythic AI stage actor in a surreal theater riff — repligate · 2026-07-27