https://b.hatena.ne.jp/entry/s/note.com/yubais/n/nd4505991a6d6 「AI が数学の未解決問題を解いた」というニュースを頻繁に見かけるようになった。中でも、ナヴィエ・ストークス方程式の爆発解発見はひときわインパクトが大きい。これは「ミレニアム懸賞問題」として100万ドル... https://b.hatena.ne.jp/modoroso/20260916#bookmark-4792935886530188770 2026-09-15T21:03:44Z https://b.hatena.ne.jp/sigC/20260915#bookmark-4792935886530188770 2026-09-15T10:14:08Z https://b.hatena.ne.jp/cubed-l/20260915#bookmark-4792935886530188770 2026-09-15T07:03:47Z https://b.hatena.ne.jp/misshiki/20260914#bookmark-4792935886530188770 AIが数学の難問を先に解くと、解く過程から生まれる新概念を失うのか。一方、AIの解答後に人間が理解し直すこともできる。数学における「答え」と「過程」の価値を考える論考。 2026-09-14T06:34:33Z 数学 人工知能 https://b.hatena.ne.jp/stellar_huna/20260914#bookmark-4792935886530188770 2026-09-14T03:20:24Z あとで読む https://b.hatena.ne.jp/sota344/20260914#bookmark-4792935886530188770 2026-09-14T02:30:12Z 数学 https://b.hatena.ne.jp/TakamoriTarou/20260914#bookmark-4792935886530188770 数学を道具として使わせていただく身からすると、答えだけ得ても使えなきゃ困る穴という気持ちが半分、一方で使う事が目的ならそれでもいいかなという考えが半分 2026-09-13T23:59:20Z https://b.hatena.ne.jp/tokada/20260914#bookmark-4792935886530188770 2026-09-13T21:36:20Z https://b.hatena.ne.jp/zatpek/20260914#bookmark-4792935886530188770 2026-09-13T16:09:51Z https://b.hatena.ne.jp/odqu/20260914#bookmark-4792935886530188770 2026-09-13T15:53:41Z https://b.hatena.ne.jp/oor966/20260914#bookmark-4792935886530188770 2026-09-13T15:32:31Z あとで読む https://b.hatena.ne.jp/mobojp/20260913#bookmark-4792935886530188770 2026-09-13T13:52:44Z https://b.hatena.ne.jp/osugi3y/20260913#bookmark-4792935886530188770 いやいいだろ。ノーベル賞もディープマインドのデミス・ハサビスが受賞してるんだから。 2026-09-13T13:09:03Z https://b.hatena.ne.jp/takasago08/20260913#bookmark-4792935886530188770 2026-09-13T11:24:51Z https://b.hatena.ne.jp/dhrname/20260913#bookmark-4792935886530188770 2026-09-13T10:16:36Z 数学 https://b.hatena.ne.jp/kaputte/20260913#bookmark-4792935886530188770 そんなこと言ったらラマヌジャンはどうなるんだ 2026-09-13T08:53:48Z https://b.hatena.ne.jp/flying-cat/20260913#bookmark-4792935886530188770 2026-09-13T08:34:28Z https://b.hatena.ne.jp/s17er/20260913#bookmark-4792935886530188770 この先に人間が皆平和で生きられる社会があるかどうかだな 2026-09-13T08:26:19Z https://b.hatena.ne.jp/sucrose/20260913#bookmark-4792935884919575010 2026-09-13T07:31:49Z https://b.hatena.ne.jp/agricola/20260913#bookmark-4792935886530188770 何もかもAI任せでおバカさんになるとか、宇宙人ムームーの世界じゃないッスか……。 2026-09-13T06:57:25Z https://b.hatena.ne.jp/uva/20260913#bookmark-4792935886530188770 2026-09-13T06:52:19Z https://b.hatena.ne.jp/tal9/20260913#bookmark-4792935886530188770 2026-09-13T06:28:05Z https://b.hatena.ne.jp/Retset/20260913#bookmark-4792935886530188770 2026-09-13T06:24:18Z https://b.hatena.ne.jp/ma__ko__to/20260913#bookmark-4792935886530188770 2026-09-13T06:19:56Z あとで読む https://b.hatena.ne.jp/around89n/20260913#bookmark-4792935886530188770 2026-09-13T05:56:47Z https://b.hatena.ne.jp/otakumesi/20260913#bookmark-4792935886530188770 対数のような概念の発明はある種の人間のための工学的な側面な気がしていて、計算で可能な部分はAIに任せて、その結果を理解するために工学的に概念を発明するというのもありなのではないか、とは思う。 2026-09-13T05:45:48Z https://b.hatena.ne.jp/yatimasan/20260913#bookmark-4792935886530188770 2026-09-13T05:11:09Z https://b.hatena.ne.jp/rainbowviolin/20260913#bookmark-4792935886530188770 しょうもな。門外漢の的外れエントリ。数学者が怒ってるのはそこではない。今回のOpenAIの手口はほとんど盗用。バックマスターが発表していた解法を、最後だけ数億円かけ計算させただけ。本当ばかばかしい。 2026-09-13T05:06:32Z 数学 https://b.hatena.ne.jp/nunnunun/20260913#bookmark-4792935886530188770 2026-09-13T05:05:51Z AI 数学 科学 考え方 https://b.hatena.ne.jp/lEDfm4UE/20260913#bookmark-4792935886530188770 2026-09-13T04:56:33Z あとで読む https://b.hatena.ne.jp/kiku72/20260913#bookmark-4792935886530188770 2026-09-13T04:16:55Z https://b.hatena.ne.jp/freedom97/20260913#bookmark-4792935886530188770 2026-09-13T04:11:33Z https://b.hatena.ne.jp/nttpf2/20260913#bookmark-4792935886530188770 2026-09-13T04:09:37Z あとで読む https://b.hatena.ne.jp/otouhux/20260913#bookmark-4792935886530188770 2026-09-13T03:52:42Z あとで読む https://b.hatena.ne.jp/est-ferelith/20260913#bookmark-4792935886530188770 2026-09-13T03:49:32Z https://b.hatena.ne.jp/paradisemaker/20260913#bookmark-4792935886530188770 science の engineering化という問題。20世紀は science の時代だったが、21世紀はその権威が揺らぐ時代。科学哲学的に本質的なテーマだと思う。 2026-09-13T03:30:16Z https://b.hatena.ne.jp/Macaronix/20260913#bookmark-4792935886530188770 2026-09-13T03:24:06Z あとで読む https://b.hatena.ne.jp/Vez/20260913#bookmark-4792935886530188770 2026-09-13T03:18:16Z 数学 AI 教育 https://b.hatena.ne.jp/circma/20260913#bookmark-4792935886530188770 2026-09-13T02:56:48Z https://b.hatena.ne.jp/Southend/20260913#bookmark-4792935886530188770 2026-09-13T02:46:57Z 科学 数学 AI https://b.hatena.ne.jp/orisaku/20260913#bookmark-4792935886530188770 2026-09-13T02:42:36Z https://b.hatena.ne.jp/giboshi31/20260913#bookmark-4792935886530188770 2026-09-13T02:39:18Z あとで読む https://b.hatena.ne.jp/peketamin/20260913#bookmark-4792935886530188770 2026-09-13T02:27:16Z https://b.hatena.ne.jp/gadie_8107/20260913#bookmark-4792935886530188770 2026-09-13T02:26:37Z AI 考え方 人間 https://b.hatena.ne.jp/hiroshe/20260913#bookmark-4792935886530188770 なんていうか、カンニングして単位は取れたけど何も学んでない、みたいなことになるんやろか 2026-09-13T02:26:24Z https://b.hatena.ne.jp/medicalcloud/20260913#bookmark-4792935886530188770 “AI と人間の関係は、もはや大人と子供の関係に近い。しかしこの「大人」は「子供」のための健全な教育方針を作ってくれない。大人ではあるが親ではない。我々は急に孤児になった。” 2026-09-13T02:25:39Z https://b.hatena.ne.jp/wdnsdy/20260913#bookmark-4792935886530188770 AIに「人が考えるように解け」と指示して、その過程を示してもらったらいいのではないか（それができるAIを作ってしまえばいいのでは）と思わんでもない 2026-09-13T02:24:10Z https://b.hatena.ne.jp/door-s-dev/20260913#bookmark-4792935886530188770 別にいいんじゃない。数学には予想を立てるって仕事もあるしね 2026-09-13T02:24:05Z https://b.hatena.ne.jp/eye4u/20260913#bookmark-4792935886530188770 良い指摘であると同時に、数学の難問解決自体がAIの研究を推し進め結果として難病や気候変動の解決につながるだろうね。しかもそれは思ってるよりずっと早い。 2026-09-13T02:20:47Z https://b.hatena.ne.jp/hanpen66/20260913#bookmark-4792935886530188770 2026-09-13T02:14:21Z https://b.hatena.ne.jp/no-zarashi/20260913#bookmark-4792935886530188770 2026-09-13T01:54:41Z https://b.hatena.ne.jp/mayone-is/20260913#bookmark-4792935886530188770 2026-09-13T01:53:19Z https://b.hatena.ne.jp/naqtn/20260913#bookmark-4792935886530188770 「アライメント（人の意図とAIが行う事の整合性）の課題として社会で広く議論すべき」という話だと思う。そこが世間に通じていない感。「使うな」ではなく一歩先の「どう使うか」の話。声明： https://mathandai.org/ 2026-09-13T01:43:21Z https://b.hatena.ne.jp/xyzzyxyz/20260913#bookmark-4792935886530188770 いいわるいではなくて、摂理としてそうせざるを得なくなる。避けられない。アーミッシュが多数派になることは無い。 2026-09-13T01:40:25Z https://b.hatena.ne.jp/Vr3EUJZd/20260913#bookmark-4792935886530188770 翻訳者もAIに相当な数が代替されたが、AIが出力したデータを編集する役割を嫌うプロは多い。 2026-09-13T01:36:55Z https://b.hatena.ne.jp/oyuokisa/20260913#bookmark-4792935886530188770 2026-09-13T01:35:46Z あとで読む https://b.hatena.ne.jp/stormsnow1222/20260913#bookmark-4792935886530188770 2026-09-13T01:31:21Z https://b.hatena.ne.jp/chess-news/20260913#bookmark-4792935886530188770 論理構成を作るのは、計算するのと話が別では？　論理を計算する構造を構築できたら、それはそれで発明では。　/. あと、できることは解決して、計算のできない先で戦えばいいのでは？ 2026-09-13T01:29:52Z https://b.hatena.ne.jp/JA8XOH/20260913#bookmark-4792935886530188770 「AIが人類を滅ぼす」というのは、こういうことだったのか。 2026-09-13T01:27:55Z https://b.hatena.ne.jp/s_oshikawa/20260913#bookmark-4792935886530188770 2026-09-13T01:26:04Z https://b.hatena.ne.jp/agano/20260913#bookmark-4792935886530188770 2026-09-13T01:23:59Z https://b.hatena.ne.jp/tokb/20260913#bookmark-4792935886530188770 2026-09-13T01:19:20Z 数学 AI https://b.hatena.ne.jp/hokkey/20260913#bookmark-4792935886530188770 2026-09-13T01:17:14Z https://b.hatena.ne.jp/bml/20260913#bookmark-4792935886530188770 とはいえもう戻れないので。ただ解けるけど毎回１０年計算が必要で処理能力の進化で縮まるけどってなると数学としてはどうなのかってあるが。 2026-09-13T01:13:42Z https://b.hatena.ne.jp/shikijisan/20260913#bookmark-4792935886530188770 2026-09-13T01:10:47Z https://b.hatena.ne.jp/toichiro/20260913#bookmark-4792935886530188770 天才が立てた仮説と証明を天才達が検証して100万ドルの賞金なのだが、天才の仮説という『宝の地図』を凡人がAIで好き勝手にお宝だけ掘り出すという悪夢。高等数学は天才が一生をかけ取り組む世界、怒らないはずがない 2026-09-13T01:09:28Z https://b.hatena.ne.jp/Yuyuziro/20260913#bookmark-4792935886530188770 文明レベルを維持するにあたって、人間がAIのバックアップとして機能できなくなるという意味では共感し得る問題提起だが、対価の大きさを思うに「残念だがしょうがない事」のひとつであるように思う。 2026-09-13T01:06:30Z https://b.hatena.ne.jp/sionsou/20260913#bookmark-4792935886530188770 2026-09-13T01:06:14Z https://b.hatena.ne.jp/Ampelix/20260913#bookmark-4792935886530188770 解法がより良い手法に置き換えられるかはアルゴリズムの問題なので、別にAIかどうかに関わらず別課題としてやられるのではないだろうか 2026-09-13T01:05:07Z https://b.hatena.ne.jp/WildWideWeb/20260913#bookmark-4792935886530188770 著者の議論とは別に、各人がどういう類推を持ち込むかで色々な展開が。自分も低レベルで行くと「あいつAIでドーピングしてやがる」とか「一番頭がいい人って多分数学者という世間のイメージの崩壊するな」とか 2026-09-13T01:04:46Z https://b.hatena.ne.jp/bxmcr/20260913#bookmark-4792935886530188770 数学者もコンピューターを使って研究してきている。まだ公開されているAI単独では数学の難問を解けず数学者と協力して解いている段階だったはず……AI賛成派の数学者もいると思う。 2026-09-13T01:04:38Z https://b.hatena.ne.jp/iDid/20260913#bookmark-4792935886530188770 2026-09-13T01:01:54Z https://b.hatena.ne.jp/yuu665/20260913#bookmark-4792935886530188770 四色定理を最初に証明したのはコンピュータだけど、人が理解するのは難解ということで後から人でもわかる証明手法を発見した。そういうことは増えるのかもしれない。 2026-09-13T01:00:28Z 数学 https://b.hatena.ne.jp/prostaglandin/20260913#bookmark-4792935886530188770 どうやら数学とは相性が悪いようだ。スパコンとかも数学者は否定的なのかな。力技での計算、悪くないと思うけど。人類には喫緊の課題が山ほどあるので他で使いましょう。創薬候補の探索とか大変よ。 2026-09-13T00:57:33Z https://b.hatena.ne.jp/knok/20260913#bookmark-4792935886530188770 対数に限ればまあPCでも普通に対数表現の実装は当たり前だしないと成立しないし、どこかで絶対必要になって生まれたとは思うが…逆に既にPCがあるせいで生まれてない概念自体はあるかもしれない 2026-09-13T00:55:22Z https://b.hatena.ne.jp/ROYGB/20260913#bookmark-4792935886530188770 数値解析やシミュレーションのような実用的なのはすでにコンピュータ無しではなりたたないけど、いわゆる現実と無関係な公理系内部のことについての話かな。でも過程を飛ばした公式を多く残したラマヌジャンもいる。 2026-09-13T00:54:58Z https://b.hatena.ne.jp/harumomo2006/20260913#bookmark-4792935886530188770 数学者は車輪の再発明をしないのだろうか 2026-09-13T00:54:50Z https://b.hatena.ne.jp/toro-chan/20260913#bookmark-4792935886530188770 「AI が解決した問題」というが、一手法をAIで見出したことは「解決」ではなく、過程に過ぎないと考えればいいのでは。対数も数値解析をしただけなら「過程」といえる。 2026-09-13T00:54:46Z https://b.hatena.ne.jp/nuara/20260913#bookmark-4792935886530188770 まだまだわからないことだらけなんだから、人間はその先の難問を見出したらどうか。無限大とか。 2026-09-13T00:50:56Z https://b.hatena.ne.jp/imasuyoo/20260913#bookmark-4792935886530188770 2026-09-13T00:50:21Z https://b.hatena.ne.jp/facpatrysis/20260913#bookmark-4792935886530188770 AIはノイズからノイズを生み出すけど、それに価値を見出すのは人間 2026-09-13T00:47:25Z https://b.hatena.ne.jp/htmikan/20260913#bookmark-4792935886530188770 2026-09-13T00:44:40Z https://b.hatena.ne.jp/fnm/20260913#bookmark-4792935886530188770 2026-09-13T00:44:32Z https://b.hatena.ne.jp/frantic87/20260913#bookmark-4792935886530188770 2026-09-13T00:44:29Z https://b.hatena.ne.jp/avictors/20260913#bookmark-4792935886530188770 すべての職・雇用は破壊されていいんだよ 2026-09-13T00:43:09Z https://b.hatena.ne.jp/Fluss_kawa/20260913#bookmark-4792935886530188770 この議論って新しいものが出てくるたびに行われてるよね。電気で、機関車で、自動車で、電卓で、結局その道具があるのが当たり前になって新しいものが作られていくの繰り返し。 2026-09-13T00:41:13Z https://b.hatena.ne.jp/makoto15/20260913#bookmark-4792935886530188770 2026-09-13T00:41:08Z ai https://b.hatena.ne.jp/akahmys/20260913#bookmark-4792935886530188770 普通の人が数学を勉強するのと同じようなことになるのかな。 2026-09-13T00:40:08Z https://b.hatena.ne.jp/takeishi/20260913#bookmark-4792935886530188770 2026-09-13T00:38:45Z https://b.hatena.ne.jp/yo4ma3/20260913#bookmark-4792935886530188770 おもしろい考察 2026-09-13T00:38:37Z https://b.hatena.ne.jp/morioka/20260913#bookmark-4792935886530188770 2026-09-13T00:35:21Z あとで読む https://b.hatena.ne.jp/szsszs/20260913#bookmark-4792935886530188770 詳しくないけど将棋もAIの出した異次元の指し手から定跡を読み解く形になってもいる気がするから、数学もそうなってさらに進歩するのでは 2026-09-13T00:33:51Z https://b.hatena.ne.jp/kanjouconvoy/20260913#bookmark-4792935886530188770 2026-09-13T00:32:31Z https://b.hatena.ne.jp/Lhankor_Mhy/20260913#bookmark-4792935886530188770 2026-09-13T00:30:42Z AI 科学 興味深い https://b.hatena.ne.jp/omiomiso/20260913#bookmark-4792935886530188770 2026-09-13T00:27:25Z あとで読む https://b.hatena.ne.jp/rat_and_east/20260913#bookmark-4792935886530188770 2026-09-13T00:27:23Z https://b.hatena.ne.jp/fewsAg/20260913#bookmark-4792935886530188770 錬金術で金はできなかったけど、科学の発展に大きく寄与したみたいな感じ？ 2026-09-13T00:27:05Z https://b.hatena.ne.jp/noreply/20260913#bookmark-4792935886530188770 2026-09-13T00:25:15Z https://b.hatena.ne.jp/moonzkk101/20260913#bookmark-4792935886530188770 2026-09-13T00:25:13Z https://b.hatena.ne.jp/ohkinakago/20260913#bookmark-4792935886530188770 2026-09-13T00:24:38Z AI 数学 科学 人間