The 2025 International Mathematical Olympiad | rishimehta.xyz
IMO 2025 just finished. A bunch of AI models gave it a shot this year. Here’s my take on the results.| rishimehta.xyz
IMO 2025 just finished. A bunch of AI models gave it a shot this year. Here’s my take on the results.| rishimehta.xyz
A guest post by Walter Dean and Alberto Naibo| siliconreckoner.substack.com
YouTube link| AXRP - the AI X-risk Research Podcast
What comes after chatbots?| garymarcus.substack.com
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics| Google DeepMind
There's at least one way to find out| siliconreckoner.substack.com
An analysis of the hype around AI and how it causes problems for future adoption| artificialintelligencemadesimple.substack.com
