AI formally verifies hardest math proof yet

An AI system formally verified a cutting-edge prime number proof, marking the most complex math automatically checked to date.

5 short cards · What happened, The big picture, Under the hood …

Also today

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