The fall of the theorem economy - David Bessis — “The problem with unintelligible mathematics isn’t that it might be false. It is that it is literally meaningless, in the sense that it doesn’t compile on the only hardware that is currently able to make sense of it and appreciate its value—the human brain.” (2026-06-29 · ai, math, mlp )
MAI-Thinking-1: Building a Hill-Climbing Machine (pdf) — 109-page technical report from Microsoft how to train a modern LLM. (2026-06-10 · ai, llm, microsoft, mlp, pdf )