🚨 これは大きなことです。 GPT-5.2 Proはアリストテレスと協力し、Leanで以前は開かれていたErdős問題を自律的に生成、形式化、そして完全に解決しました。 人間の証拠はありません。 ヒントは一切ありません。 足場もありません。 これはAIによる独自の数学的発見です。