OpenAIのモデルが80年越しの数学難問を解決——離散幾何学の中央予想を否定

OpenAIの推論モデルが、1946年以来未解決だった離散幾何学の「単位距離問題」に関する中心的な予想を否定する証明を生成した。OpenAIの公式発表によれば、これはAIによる数学的発見のマイルストーンとなる成果という。

TechCrunchの報道によれば、前回OpenAIが数学的成果を主張した際には数学者から厳しい反証を受ける恥ずかしい幕引きとなったが、今回はその際に問題を指摘した数学者たちが裏付けを行っている点が大きく異なる。モデルの推論能力が数学研究に実質的な貢献を果たしつつあることを示唆する重要な一歩と言える。

NVIDIA、売上予測がアナリスト期待の下限——チップ競争の激化を背景に

世界で最も時価総額の高い企業であるNVIDIAが、四半期の売上予測を発表した。7月期の売上見通しは約910億ドルで、アナリスト平均予想の870億ドルは上回ったものの、予想レンジの上限は960億ドルに達しており、投資家の反応は総じて冷ややかなものとなった。

Bloombergの報道によれば、データセンター向け売上は引き続き急増しているものの、チップ競争の激化が懸念材料として認識されている。AI半導体の需要そのものは底堅い一方で、競合の台頭や顧客の自社開発化が将来の成長鈍化リスクとして意識され始めている。

GoogleがChromiumの未修正脆弱性のエクスプロイトコードを公開——29ヶ月間放置

Googleが、Chromiumベースのブラウザ（Chrome、Edgeなど）に影響する未修正の脆弱性の概念実証コードを公開した。Ars Technicaの報道によれば、この脆弱性はBrowser Fetch APIを悪用するもので、29ヶ月前に報告された後も修正されていないという。

攻撃者がこの脆弱性を利用すると、ユーザーのブラウザ利用を監視したり、プロキシとしてDDoS攻撃の踏み台にしたりできる。接続はブラウザやデバイスの再起動後も維持される場合がある。実質的にユーザーの知らないうちにデバイスが限定的なボットネットの一部となる危険性がある。

Googleがパッチ前にエクスプロイトコードを公開したのは、修正の優先度を高めるための圧力とみられる。Chrome、EdgeをはじめとするChromium系ブラウザのユーザー数は数億人に上り、影響範囲の大きさが懸念される。

Socketが10億ドル評価で6000万ドル調達——AIコーディング時代のセキュリティ需要

オープンソースコードのセキュリティを守るスタートアップSocketが、Thrive Capitalがリードする6000万ドルの資金調達ラウンドを完了し、10億ドル評価を達成した。Bloombergの報道によれば、Andreessen HorowitzやAbstract Venturesが既存投資家として参加し、Capital One Venturesが新規参加した。

同社のサービスは、Anthropic、OpenAI、Cursorなどが展開するAIコーディングツールの普及によって新たな重要性を帯びている。これらのAIシステムはオープンソースコードのリポジトリで学習するため、そのコードに潜む脆弱性の影響が拡大する。実際にAnthropicとCursorはSocketの顧客でもある。AI開発の加速に伴うサプライチェーンセキュリティの重要性が投資家に認識されたと言える。

RampがCodex × GPT-5.5でコードレビューを高速化

Rampのエンジニアチームが、OpenAIのCodexとGPT-5.5を組み合わせたコードレビュー手法を公開した。OpenAIの公式ケーススタディによれば、レビューのフィードバック取得に数時間かかっていたプロセスを数分に短縮できたという。

AIによるコードレビューは実用段階に入りつつあり、開発生産性の向上だけでなく、コード品質の一貫性維持にも寄与している。Codexの自律的なコード改善提案機能が、エンジニアのレビュー負荷軽減に直結している点が注目される。