DeepMindのAlphaProof Nexus、Leanの証明でエルデシュ問題9件を解決 2件は50年超未解決
353件のエルデシュ問題と492件のOEIS予想の結果は機械検証済み証明とともにGitHubで公開。

Hillclimbの15課題は非公開検証器で採点。Claude Fable 5.1が1548 Eloで首位、GPT-6 Astraは1232。
353件のエルデシュ問題と492件のOEIS予想の結果は機械検証済み証明とともにGitHubで公開。
Microsoft Foundryで提供。はい/いいえ・選択・スコア型の質問に対応し、OpenAIのDecisions APIと競合。
「ミト・ポラリトン」は直接測定ではなく推定。bioRxivの研究は査読前で追試が必要。
Gemini at Work 2026で発表。独自のWorkspace IDで動作し、非公開プレビューで価格・GA時期は未定。
元テンセント研究者が率いる非公開企業。ラウンドは未確定でDeepSeekはコメントせず。
Ting-Wei Sunはマンハッタン連邦地裁で4つの罪状を認めた。検察は約25億ドル相当が無許可で輸出されたと主張。
ドキュメントでは、別ブランチでスレッドを起動しPCがオフでも動き続ける。ProとMax向けベータ。
FDAの承認書簡は10月8日付。Tevaは数週間以内に米国で発売するとしている。
機能が高い患者(FAC 4)では歩行・バランス・歩行速度が改善。サブグループ結果で確認が必要。
Owain Evansらは数列による蒸留でバックドアとハッキング傾向が部分的に移ると報告。arXivプレプリントで未査読。
通常の苛立ち、ダークな創作、モデル評価は対象外。主な措置はClaudeによる会話終了。