学術AI

Clay Mathematics Instituteは、OpenAIによるAI生成のナビエ–ストークス解を審査しており、100万ドルの数学賞の請求は保留されている。

Inherentは、Faraday AIエージェントがAnthropicとOpenAIのより大規模なシステムを論文再現で上回ったと述べ、小規模モデルと研究特化エージェントの有効性を示したとしています。

AnthropicはEUの透明性ルールに対応するためClaudeのテキストに透かしを入れており、AI検出、職場利用、学術的誠実性、プライバシーをめぐる議論を呼んでいる。

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支援研究のパラダイムシフトを示している。