@SebastienBubeck: I feel the First Proof results are a bit downplayed ... the progress has been astounding and we shou...
I feel the First Proof results are a bit downplayed ... the progress has been astounding and we shouldn't feel numb to it. 6 months ago it was controversial to claim that GPT-5 could prove new interesting mathematics, and the latter was a matter of 20 minutes to check. 6 months later, checking the work of frontier models is so hard that it takes days of experts to verify GPT-5.2's proofs ... It's getting clearer and clearer that mathematics might be going through its biggest revolution ever, and I find this extremely exciting but also worth thinking about a lot!