テクノロジー

数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価 | Forbes JAPAN 公式サイト（フォーブス ジャパン）
2026/05/03 08:30 コメント 14件
1: jt_noSke 2026/05/04 10:15

ひょ(そ)うか…

2: exshouqosa 2026/05/04 10:33

ワクワクする

3: jtodo 2026/05/04 10:43

美しいと評価できるのだから、費やした時間も無駄ではなかったと思う

4: Windfola 2026/05/04 10:45

「創造的な仕事」は出来なくても、人間の盲点で解法が見落とされていた証明や、煩雑で人手のいる証明など、現行レベルのAIでも意外と活躍の余地は沢山あったのね。

5: Insite 2026/05/04 10:52

人間が直感的に正しいと考えられる命題を提示して取り組むべき問題としてpinし、解くための道具も人間がお膳立てだてしていたので、AIは探索で答えにたどり着くことができた。よいことでは

6: eirun 2026/05/04 11:06

人間より上だとか下だとかじゃなくて、別のタイプのアプローチを思いつける知性ってだけで、協業の価値はあるよね。

7: uiahi 2026/05/04 11:56

燃え尽き症候群になりそうだが

8: praty559 2026/05/04 11:57

リクトマン氏の場合は先に発表して広く評価されてるから良いけど、6年目の時にAIに80分で解かれたらどう評価したんだろう。

9: hom_functor 2026/05/04 13:05

「美しい真理を見たくて数学者をやってるんだからそれを解くのが人間でなくてもいい、むしろもっと見せてくれ」といい切った数学者もいたな。AI相手にいちいちヒスってる人達もちょっとは見習ってほしい

10: Hiro0138 2026/05/04 14:43

リソース量を考えたら凄くエレファントな証明だと思うけどエレガントなんだ

11: gami 2026/05/04 15:32

AIが将棋のレベルを引き上げたように、数学もこれから大きく進化しそう。数学が進化したら、他の理系分野も影響うけそう。

12: netafull 2026/05/04 17:36

“「最も近いたとえを挙げるなら、チェスの主要な序盤戦法はよく研究されていたが、AIが人間の美意識や慣習によって見落とされていた新しい序盤の手順を発見した、ということだ」”

13: suka6411144 2026/05/04 18:41

とにかくいろんな角度でアイデアを出しまくるみたいな用途だとAIは強いよね、ハルシネーションの問題も数学であればLeanとかで証明が正しいか検証したりもできるし

14: shodai 2026/05/04 19:10

“「最も近いたとえを挙げるなら、チェスの主要な序盤戦法はよく研究されていたが、AIが人間の美意識や慣習によって見落とされていた新しい序盤の手順を発見した、ということだ」とリクトマンは述べた。”