AIが27年来の数学的予想を証明：Leanによる検証は通過したが、人類はこの答えを信頼できるか？
OpenAIとAnthropicのAIモデルが同日独立して指数時間仮説（ETH）が偽であるという67ページの数学的証明を生成し、Lean形式言語による検証も通過した。しかし形式的声明と元の数学的命題との等価性はいまだ証明されておらず、独立審
AI科学发现 に関するニュース
Claude Mythos 5、量子回路設計でゲート数を17倍圧縮——ハード科学ベンチマーク8項目中7項目で既発表の最優秀記録を超える
Anthropicのフェロープログラムにおいて、Claude Mythos 5が量子誤り訂正デコーダーなど8つの基礎量子アルゴリズム設計タスクに取り組み、うち7タスクで既発表の最優秀方式を上回った。最も顕著なケースでは、量子ゲート数を17倍
950体のClaudeエージェントが21時間で19億のタンパク質クラスターをスキャン、CRISPR類似の新型酵素システムを発見——しかし10回の再実行は全て失敗
Anthropicは約950体のClaudeエージェントが21時間で19億のタンパク質クラスターを自律スキャンし、CRISPR配列に酷似したDNA反復アレイを持つ新型酵素システム「ART」を発見したと発表した。しかし同一タスクの10回再実行