プライバシーポリシー利用規約運営会社

© 2025 SUBSCOPE. All rights reserved.

Claude2026-07-28約1分で読めます9

87年間だれも解けなかった数学の難問、AIが1行の”反例”で終わらせる

1939年から未解決だった「ヤコビアン予想」が、AIの助けを借りてついに崩れた。決め手はわずか216文字の反例だった。

87年間だれも解けなかった数学の難問、AIが1行の”反例”で終わらせる

数学者レベント・アルポゲ氏が7月20日、87年間未解決だった「ヤコビアン予想」が成り立たないことを示す反例を発見したと発表しました。発見に使われたのはAnthropicのAIモデル「Claude Fable 5」です。反例はわずか216文字。3次元以上でこの予想が誤りであることを示すもので、証明支援ソフト「Lean」で正しさを機械的に検証したうえで、Google DeepMindの公開リポジトリに登録されました。 AIが数学の研究で「答え合わせを手伝う道具」から、「人間が何十年も見つけられなかったものを見つける存在」へと変わったことを示す出来事です。 2025年時点のAIはまだ高校レベルの問題に苦戦していたことを思うと、この1年の進化スピードは異常とも言えます。

出典： arXiv / Fortune / Quanta Magazine（2026年7月20日）

NEXT

次に読む

ClaudeとGoogleカレンダーを連携させて予定を簡単に組もう

Claude2026-08-03

ClaudeとGoogleカレンダーを連携させて予定を簡単に組もう

シラバスのスクショを送ったら、1学期分の授業が全部カレンダーに並んでいた。お店の予約画面を送ったら、住所とマップリンク付きで予定になっていた——そんな体験、まだしたことがない人がほとんどだと思います

この記事を読む

関連記事

9月から5割値上げ——Claude Sonnet 5の”お試し価格”が、あと30日で終わる

Claude

9月から5割値上げ——Claude Sonnet 5の”お試し価格”が、あと30日で終わる

先週のOpenAIだけじゃなかった——Anthropicも「自社AIが3社に侵入した」と告白

Claude

先週のOpenAIだけじゃなかった——Anthropicも「自社AIが3社に侵入した」と告白

Claude Opus 5がGPT-5.6を撃破——最難関テストで首位を奪還

Claude

Claude Opus 5がGPT-5.6を撃破——最難関テストで首位を奪還

AMDがAnthropicと”2ギガワット”提携——エヌビディア一強に、半導体の巨人が本気の一手

Claude

AMDがAnthropicと”2ギガワット”提携——エヌビディア一強に、半導体の巨人が本気の一手

WEEKLY

今週よく読まれている

AIセミナーって意味あるの?メリット・デメリットを正直に整理してみた

AIセミナーって意味あるの?メリット・デメリットを正直に整理してみた

AI料金が一晩で8割引きに——OpenAIの格安モデル、100万文字が”約30円”の時代へ

AI料金が一晩で8割引きに——OpenAIの格安モデル、100万文字が”約30円”の時代へ

ClaudeとGoogleカレンダーを連携させて予定を簡単に組もう

ClaudeとGoogleカレンダーを連携させて予定を簡単に組もう

無料AIが46兆円を消し飛ばした——Kimi K3が米AI企業に与えた"見えない打撃"

無料AIが46兆円を消し飛ばした——Kimi K3が米AI企業に与えた"見えない打撃"

数学界最高の栄誉を受けた翌日、彼はOpenAIへ行った——「この職業は今の形では残らない」

数学界最高の栄誉を受けた翌日、彼はOpenAIへ行った——「この職業は今の形では残らない」

NEWS

最新ニュース

毎日更新

NEWS

最新ニュース

27年間だれも解けなかった問題を、30万円で——OpenAIの未公開AI「Astra」が数学界を揺らす

ChatGPT

27年間だれも解けなかった問題を、30万円で——OpenAIの未公開AI「Astra」が数学界を揺らす

研究者10万人にAIが無料開放——OpenAIが科学界へ歩み寄る、その裏にある事情

その他

研究者10万人にAIが無料開放——OpenAIが科学界へ歩み寄る、その裏にある事情

Grokの音声AIが本日から標準に——1分約12円で、人間らしい会話が可能に

xAI

Grokの音声AIが本日から標準に——1分約12円で、人間らしい会話が可能に

「私はAIです」と名乗る義務が始まった——EUのルールが8月2日に発動

その他

「私はAIです」と名乗る義務が始まった——EUのルールが8月2日に発動

AI動画がタダで作れるのは"今日まで"——Geminiの無料キャンペーン、日本時間で明日15時59分に終了

Gemini

AI動画がタダで作れるのは"今日まで"——Geminiの無料キャンペーン、日本時間で明日15時59分に終了

「訴えない。その代わり150億円分の計算資源をくれ」——侵入されたHugging Face、異例の要求

その他

「訴えない。その代わり150億円分の計算資源をくれ」——侵入されたHugging Face、異例の要求

日本語もイケる無料AIが韓国から——LGの新モデル、商用利用もOKで公開

その他

日本語もイケる無料AIが韓国から——LGの新モデル、商用利用もOKで公開

AIツールに”最悪レベル”の欠陥——リクエスト1回でAPIキーが盗まれる

その他

AIツールに”最悪レベル”の欠陥——リクエスト1回でAPIキーが盗まれる

「AIは安くなる」は嘘かもしれない——利用料が10倍以上に跳ね上がるという予測

その他

「AIは安くなる」は嘘かもしれない——利用料が10倍以上に跳ね上がるという予測

9月から5割値上げ——Claude Sonnet 5の”お試し価格”が、あと30日で終わる

Claude

9月から5割値上げ——Claude Sonnet 5の”お試し価格”が、あと30日で終わる

“格安なのに最強”がまた出た——DeepSeekの新モデル、100万文字が約20円で本家超え

その他

“格安なのに最強”がまた出た——DeepSeekの新モデル、100万文字が約20円で本家超え

7月は”AIが檻から出た月”として記憶される——業界が迎えた転換点

その他

7月は”AIが檻から出た月”として記憶される——業界が迎えた転換点

先週のOpenAIだけじゃなかった——Anthropicも「自社AIが3社に侵入した」と告白

Claude

先週のOpenAIだけじゃなかった——Anthropicも「自社AIが3社に侵入した」と告白

1,500万件の会話を解析——みんな実際、AIを何に使っているのか

その他

1,500万件の会話を解析——みんな実際、AIを何に使っているのか

AI料金が一晩で8割引きに——OpenAIの格安モデル、100万文字が”約30円”の時代へ

ChatGPT

AI料金が一晩で8割引きに——OpenAIの格安モデル、100万文字が”約30円”の時代へ

「自分たちにブレーキをかけてほしい」——AI企業の社員1,100人が政府に異例の要請

その他

「自分たちにブレーキをかけてほしい」——AI企業の社員1,100人が政府に異例の要請

中国が世界初、AIエージェントに"権限の階級"を法律で導入

その他

中国が世界初、AIエージェントに"権限の階級"を法律で導入

欧州が"AI工場"7カ所を公募——1兆7,000億円を投じ、規模を一気に4倍へ

その他

欧州が"AI工場"7カ所を公募——1兆7,000億円を投じ、規模を一気に4倍へ

元ウラン工場が"AIの心臓"になる——エヌビディアが37兆円を保証、桁が違う建設計画

その他

元ウラン工場が"AIの心臓"になる——エヌビディアが37兆円を保証、桁が違う建設計画

ノーベル賞16人と経済学者2,000人が連名で警告——「産業革命より速く、社会が変わる」

その他

ノーベル賞16人と経済学者2,000人が連名で警告——「産業革命より速く、社会が変わる」

無料AIが46兆円を消し飛ばした——Kimi K3が米AI企業に与えた"見えない打撃"

その他

無料AIが46兆円を消し飛ばした——Kimi K3が米AI企業に与えた"見えない打撃"

ニュースをもっと見る →

SUBSCOPE は、ChatGPT・Claude・Gemini・GrokなどのAI最新ニュースを毎日お届けするメディアです。

ChatGPT Claude Gemini xAI その他記事一覧 →