AI 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.

Also today

Today's top five AI stories, one line each, at 7am Eastern. Free. One-click unsubscribe.