Tag
MIT and the IMO release MathNet, a massive dataset of International Math Olympiad problems and solutions spanning 40 years and 40+ countries, 5x larger than prior datasets.
Google is rolling out Deep Think, a new reasoning capability in the Gemini app for Google AI Ultra subscribers, featuring parallel thinking techniques and achieving bronze-level performance on the 2025 IMO benchmark. The full gold-medal version is being shared with select mathematicians for research purposes.