“Mathematics is undergoing the biggest change in its history.” Glad to see our math agent #Aletheia featured by @newscientist on its results at the FirstProof inaugural challenge, alongside other interesting milestones in AI for Math research! Implications worth thinking about. Link in thread.

→ View original post on X — @lmthang, 2026-03-10 22:31 UTC