AI attempts to solve First Proof math challenge
OpenAI’s “First Proof” Sprint: How Close Are We to AI‑Generated Mathematics That Holds Up to Peer Review? When I was a kid I used to stare at the back of my high‑school algebra textbook, wondering whether a computer could ever prove a theorem the way a human does—step by step, with a few false starts, a dash of intuition, and the occasional “aha!” moment. Fast‑forward three decades, and the question has stopped being a sci‑fi curiosity and is now landing in the inboxes of mathematicians worldwide. ...