mathematics — Lorien Times

Alex Kontorovich reveals AI math proofs threaten human learning

As mathematicians react on the Lex Fridman Podcast to AI solving historic proofs, Alex Kontorovich and Ankur Moitra show why automating research threatens the human institutions that sustain real learning.

By Caroline Ashford · October 26, 2026

AI’s Mathematical Genius Hits a Semantic Wall

While AI excels at systematic pattern matching, true industrial insight requires understanding context and motivation.

By Bram de Vries · September 8, 2026

AI Excels at Math Calculation, But Struggles With Conceptual Theory

Experts argue that while AI masters syntax, true mathematical progress requires a conceptual framework beyond mere pattern matching.

By Nikhil Raghavan · September 1, 2026