AI数学推理 に関するニュース

海外

OpenAI、数学諮問グループを設立――AIがすでに100件超の未解決問題を解決と発表

OpenAIは2026年9月、数学諮問グループの設立を発表するとともに、AIシステムが研究過程で100件超の未解決の開放的数学問題を解いたと主張した。ただし、このグループには研究の方向性を遅延・変更させる権限は与えられておらず、「誰が監督す

OpenAI AI数学推理 形式化验证 前沿模型
457