Leanna Pitsoulakis took a lap around her freshmen honors math class at Carl Sandburg High School, scanning the work spread across each student’s desk before returning to the front of the room with a ...

First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising ...