A bit of a personal story: almost 20 years ago, I competed full-time in Olympiad math, got Silver nationally (ranked 8th at the time), but I couldn't make it to IMO 2005 … Fast forward to now, I'm so glad that our latest AI system (#AlphaGeometry2 + #AlphaProof) has helped me… https://t.co/jAVTpNdBMu
— Thang Luong (@lmthang) 26 juillet 2024
A bit of a personal story: almost 20 years ago, I competed full-time in Olympiad math, got Silver nationally (ranked 8th at the time), but I couldn't make it to IMO 2005 … Fast forward to now, I'm so glad that our latest AI system (#AlphaGeometry2 + #AlphaProof) has helped me