2026年10月07日 夜のAIニュースまとめ
OpenAIによる数学証明の公開とSpaceXの巨額資金調達
OpenAIが未発表モデルを用いて数百の数学証明を公開し、AIによる科学的発見の加速に期待が高まっています。
また、SpaceXがAIチップ購入に向け400億ドル規模の資金調達を協議しているほか、Appleによるスマートホーム市場への本格参入も報じられました。
本日の主要な動向を順を追って確認していきましょう。
目次
1. OpenAIがKLS予想など数百の数学証明を公開【続報】
2. SpaceXがNvidiaチップ購入に向け$40Bの資金調達を協議
3. AppleがLGと提携しSiri搭載スマートホーム機器準備【続報】
4. Decisions API検証結果とCodexトークンリセット【続報】
5. Samsung製12層HBM4EがNVIDIAテスト合格報道
6. Anthropicがセキュリティ専門家向けにMythos 5.1等を提供
7. ガートナー: FDE開発AIエージェントの7割が不使用と予測
8. PLaMo翻訳が第3世代モデル適用で大幅アップデート【続報】