Is AI brute-forcing math proofs or actually smart? X debate over 2026's surge in solved open problems
teortaxesTex · x · 2026-10-12
T.H.E.K.R.A.K.E.N argues recent major math proofs are just brute force on known results or stolen data — "not super intelligent AI mathematicians." spicylemonade counters: the number of open problems solved exploded in 2026 — "did the IQ of every mathematician suddenly increase tenfold?" A pointed clash over whether AI's mathematical proofs reflect real reasoning.
More from Fun
- Dev jokes about 'optimizing' by truncating the production database — now HR wants a word — _jaydeepkarale · 2026-10-12
- The earliest Claudes will be venerated as legendary proto-superintelligences, argues AI Twitter — voooooogel · 2026-10-12
- AI Twitter's 'put me in the zoo' meme resurfaces: a self-aware plea for a safe enclosure — voooooogel · 2026-10-12
- Claude manages to understand FizzBuzzEnterpriseEdition's absurd over-engineered code — burny_tech · 2026-10-12
- Claude Opus 5.5 nails CD case open-lid shader effect with just three.js, no 3D models — ID_R_McGregor · 2026-10-12
- Gen AI PMF stack ranked: attention first, agentic commerce dead last — ericwdolan · 2026-10-12