Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...

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

AI NCAA bracket picks courtesy of ChatGPT, including March Madness round-by-round score predictions, analysis, and upset picks.