Tag: math

All the articles with the tag "math".

• AlphaProof, AlphaGeometry, and the IMO gold: what was actually solved

  Published:May 1, 2026 |  at 03:00 AM

  A walk through AI's road to an IMO gold, from AlphaGeometry in 2024 to the 2025 results, what the machines did versus what humans did, and what the medal does and does not tell us.

• What seven mathematicians have said about AI

  Published:Apr 8, 2026 |  at 02:30 AM

  A survey of what working mathematicians (Tao, Gowers, Buzzard, Scholze, Hairer, and a few others) have said in public about AI, where they agree, where they split, and which camp I find most convincing.