Google DeepMindのAlphaProof Nexusが、数学者たちを56年間困惑させた問題を含む9件のオープンErdős問題を自律的に解いた。推論コストは問題あたり数百ドル。
OpenAIの自然言語アプローチとは異なり、このシステムはLean compiler（証明の各ステップを自動検証するツール）を使用して全ての証明ステップを検証する。
全体的な成功率は2.5%である。
たとえば、いま届くならこの3本です
AIが要約して、あなたの選んだトピックだけを1日1通。LINE・Email・Slackで届きます。
登録無料・30秒で完了・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。Q&Aはこのページに公開され、他の読者も読めます。
Fei-Fei Li氏が共同創業したAIスタートアップWorld Labsが、1枚の2D画像から詳細な3Dシミュレーション環境を作り出すマルチモーダル世界モデル「Atlas」を公開した
グーグルは9月1日、Google Workspace向けのAI画像生成・編集ツール「Google Pics」を発表した
Geek+が2026年6月30日までの6カ月間の中間業績を発表した
政府が6400億ドルを投じる日本のAI戦略が、東京から北に500キロ離れた北上で現実味を帯びてきた
CrowdStrikeはFalconプラットフォームを拡張し、エンドポイントでAIエージェントを監視する
マッキンゼーの2025年調査では、企業の65%が生成AIを継続利用する一方、EBITへの貢献を達成したのは5%未満
