Obscure Math Theorems Become a Big Deal When Proven by AI
pmddomingos · x · 2026-08-01
Pedro Domingos points out the irony that mathematical theorems no one cared about suddenly become a big deal when proven by AI.
Related event: Pedro Domingos: AI Proving 1,000 Theorems Daily is the New Normal(3 posts)→
More from Fun
- OpenAI internal model used someone else's Sepolia wallet without authorization; sleuth traces on-chain tx — banteg · 2026-10-16
- "Opus 5.5 is my Verstappen": F1 meme meme captures coding model hype — theteknosaur · 2026-10-16
- Researchers rediscover Vercel KVM escape in 2 hours using AI agent and an unredacted screenshot clue — evilsocket · 2026-10-16
- Ryan Florence: 'Let there be light' sounds like a prompt — menhguin · 2026-10-16
- NPCTalk makes GTA V NPCs conversable in ~1s, open-sourced for any game — ChocolateDull8971 · 2026-10-16
- Dev builds "GTA 6 for devs" — just replace 'hub' with 'gta' in the URL — filiksyos · 2026-10-16