DayNews.aiAI solves all six IMO problems
A new AI pipeline combining informal reasoning with formal proof verification solved every problem at the 2026 International Math Olympiad.
DayNews.aiDayNews.aiDayNews.aiA new AI pipeline combining informal reasoning with formal proof verification solved every problem at the 2026 International Math Olympiad.