AI & Enterprise

OpenAI、数学研究を助言する外部組織　IAS内に設置

OpenAIは、AIによる数学研究の成果を評価し、公表時期や公開方法を助言する外部組織を米プリンストン高等研究所に設置した。難問の解法公表を巡る検証不足や研究者の貢献評価への懸念に対応する。

AI & Enterprise

Cardano創業者、AIの数理証明能力に驚き　「想像以上の進化」

Cardano創業者のチャールズ・ホスキンソン氏は、AIが複雑な数学証明を生成し、形式的に検証する段階まで進んだと指摘した。研究アイデアや知的財産の流出リスクを踏まえ、閉じたAI環境の必要性も訴えた。