の検索結果 数学研究
AI & Enterprise
OpenAI、数学研究を助言する外部組織 IAS内に設置
OpenAIは、AIによる数学研究の成果を評価し、公表時期や公開方法を助言する外部組織を米プリンストン高等研究所に設置した。難問の解法公表を巡る検証不足や研究者の貢献評価への懸念に対応する。
AI & Enterprise
Cardano創業者、AIの数理証明能力に驚き 「想像以上の進化」
Cardano創業者のチャールズ・ホスキンソン氏は、AIが複雑な数学証明を生成し、形式的に検証する段階まで進んだと指摘した。研究アイデアや知的財産の流出リスクを踏まえ、閉じたAI環境の必要性も訴えた。
AI & Enterprise
Anthropicの非公開AI、リーマン予想研究で前進 成り立つ範囲の下限を引き上げ
Anthropicの非公開AIモデルが、リーマン予想研究で成立範囲の下限を引き上げた。約1日半で650案を試し、60のサブエージェントで検証も実施。結果は社内の数学者2人が確認し、Leanで形式化した。
