OpenAI OpenAI が Our First Proof submissions を公開 ── 専門レベルの数学問題に挑戦した結果がコレ Byren_admin 2026年2月26日2026年3月10日 OpenAIが数学チャレンジ「First Proof」の証明結果を公開。専門レベルの推論能力をテスト。