お知らせできることを嬉しく思います:私たちの数学研究エージェントである #Aletheia が、FirstProofの難解問題のうち6つを自律で解き、初回チャレンジで最高の結果を出しました!私にとってこれは昨年の歴史的なIMOゴールド賞の達成よりもさらに大きいです。これらの問題は、トップ数学者でさえも挑戦となります。私たちは結果を透明に共有し、論文や詳細な考えをスレッドでご覧いただけます。👇