OpenAIは、自社モデルが数学と理論計算機科学の10件の新成果の創出に役立ったと述べ、研究水準のAIへ向けたより本格的な取り組みを示唆した。

OpenAIは、10万人の学術研究者にChatGPTの無料アクセスを提供し、高度なモデルを科学的ワークフローや研究室へ広げると発表した。

ドイツのオープンモデル Soofi S は、完全にオープンな英語・ドイツ語ベンチマークで首位を主張する一方、開発者はテストデータ漏えいを公表し修正した。

Mistral AIは、Apache-2.0 の Lean 4 コードエージェントモデル Leanstral 1.5 を導入し、PutnamBench の 672 問中 587 問を解決したと報じられています。

科学者たちはOpenAIのChatGPT-5 Proを用いて新たな数学的証明やブラックホールの発見を成し遂げ、継続する制約があるにもかかわらずAI支援研究のパラダイムシフトを示している。