The Path to Mathematical Superintelligence | Tudor Achim | TED

0:04 – 6:51

A 4,000-year-old system meets a modern breaking point

The talk opens on a clay tablet from ancient Babylon, a small dusty object carrying a huge claim: for roughly four millennia, mathematics has run on the same social technology. Someone has an idea, writes it down, other people read it, argue about it, and eventually agree whether it works. That process sounds almost quaint, but Achim frames it as the hidden operating system of civilization, built on creativity, communication, and trust. He then widens the lens with Eugene Wigner’s famous puzzle about the “unreasonable effectiveness” of mathematics. Why should weird ideas born inside a mathematician’s head become the exact language of reality? Non-Euclidean geometry began as a thought experiment and became the mathematics of general relativity. Group theory looked like abstract play with symmetry and became essential for particle physics and crystal structure. That strange marriage between pure thought and physical reality, he says, is what powers everyday life. The chip in your phone rests on quantum mechanics, itself built on linear algebra and complex numbers. Wireless communication is Maxwell’s equations made practical. Online security depends on number theory, once dismissed as the most uselessly pure branch of math, and now protecting trillions of dollars. AI is not an exception to this pattern but its latest expression: a neural network is, in his phrase, a “monumental structure of applied mathematics,” and learning is calculus moving through landscapes with billions of dimensions. Then the mood shifts. The same system that carried math this far is now straining under its own success. Achim uses two famous examples to make the strain feel concrete. Grigori Perelman’s 2002 proof of the Poincaré conjecture came in three short, cryptic online papers. One person wrote them, but teams at top institutions spent four years unpacking the logic before the community could confidently say, yes, this is correct. Andrew Wiles’s proof of Fermat’s Last Theorem produced an even more dramatic lesson. After the 1993 celebration, one misplaced thread deep inside the argument caused the proof to unravel during review, and Wiles plus Richard Taylor needed two more years of intense secret work to repair it. The point is not that mathematics is broken. It is that verification is already incredibly expensive even when humans are producing the proofs. Now add AI. Just two years ago, systems were brittle on entry-level high school contest math. By 2025, they can compete with top students at the International Math Olympiad. A machine may spend four hours generating one proposed solution that takes an expert human up to an hour to check. If that becomes a thousand proofs instead of one, aimed not at school contests but at the Riemann hypothesis, Navier-Stokes, or P versus NP, the old social system collapses under review load. With only a couple thousand mathematicians qualified to check work at that level, and with AI trained on human-produced internet data plus human feedback, we risk both a verification bottleneck and the recycling of human biases into future discovery engines.