今日はAIと数学にとって重要な節目の日です。 アリストテレスや他のツールはここ数ヶ月でエルドスの問題解決に大きな進歩を遂げましたが、常に厄介な注意点がいくつか存在します。 本日、アリストテレスとGPT 5.2 Proを組み合わせて、初の自律的にAI生成・形式化されたエルドス問題が発表されました。 多くのものの最初。