2026年11月07日 14:12 カテゴリ:Claude 【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 💬 コメント(0) ▸ 続きを読む
2026年11月07日 12:24 カテゴリ:Claude 【AI】AIが家電などに侵入し自己増殖、数か月以内に能力獲得か…開発企業のサーバー停止しても「暴走」の恐れ 💬 コメント(0) ▸ 続きを読む
2026年11月07日 11:15 カテゴリ:その他・総合 【AI】Googleが論文や技術文書の誤りをAIで検証する「Deep Review」を一般公開、週2回まで無料で利用可能 💬 コメント(0) ▸ 続きを読む
2026年11月07日 10:22 カテゴリ:ChatGPT 長年解読できなかった82文字のエニグマ暗号を「GPT-6 Astra」が解読、独自に解読プログラムも作成 💬 コメント(0) ▸ 続きを読む