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.
More from Fun
- Developer Recreates Musk's Original Blastar Game After Asking Grok for Ideas — Kyrannio · 2026-08-01
- Domingos Jokes: Which AI Will Win the Fields Medal First? — pmddomingos · 2026-08-01
- Math journal peer review criticized: slow, unqualified, nepotistic; some disagree — roydanroy · 2026-08-01
- Developer Builds Collaborative AI Dream Generator with Local Diffusion Models on MacBook — MatthewWSiu · 2026-08-01
- Gary Marcus offers $1M bet against Musk's claim that Optimus will outperform human surgeons by 2029 — anshulkundaje · 2026-08-01
- AI Video Generation Fail: Teardown of a 5-Second Shot Ignoring Prompts — Kyrannio · 2026-08-01