探検


人間の数学者はAIに駆逐されるのか

2026/09/08(火) 12:20:59.48ID:7N7KW0NV
AIが書いた証明をチェックするだけの存在になるのか
2026/09/08(火) 12:34:37.47ID:OnqnDfIE
クソスレは駆逐されるのか
2026/09/08(火) 12:34:51.06ID:OnqnDfIE
2026/09/08(火) 12:20:59.48
2026/09/08(火) 12:35:12.11ID:OnqnDfIE
昼休みの糞スレ
2026/09/08(火) 12:42:42.81ID:OnqnDfIE
数学板は糞スレに占領されれるのか
6132人目の素数さん
垢版 |
2026/09/08(火) 13:58:15.39ID:39fNdb3D
証明のチェックもAIがやるよ
7132人目の素数さん
垢版 |
2026/09/08(火) 18:07:55.09ID:u+gtkxbo
ナビエ–ストークス方程式の解の存在と滑らかさ
どうやらOpenAIの内部モデルが解いたとめっちゃ話題になってる
明日あたり何か発表らしい
2026/09/08(火) 18:13:08.32ID:OnqnDfIE
ソーシャルメディアで「AnthropicのClaudeがミレニアム賞問題を解決」との噂が拡散
2026/09/08(火) 18:23:54.59ID:OnqnDfIE
予測だってさ
10132人目の素数さん
垢版 |
2026/09/08(火) 18:39:02.16ID:u+gtkxbo
AnthropicとTristanとLeventという2人の数学者
それとOpenAIの間でもめまくってるとかよくわからんわ
11132人目の素数さん
垢版 |
2026/09/08(火) 18:50:41.91ID:u+gtkxbo
Anthropicの従業員であるLevent(ヤコビアン予想の反例で有名になった)がニューヨーク大学のTristan Buckmasterという数学者と協力してナビエ–ストークス方程式の解の存在と滑らかさと主張
それとは独立にOpenAIが内部モデルで解決したと主張
OpenAI側がTristanのプライベートなcodexチャットを覗いてそれを訓練に使った疑惑
OpenAIはTristanにそんなアホなこと言ったらお前の数学者人生終わるぞと脅迫

なんか泥沼みたい
12132人目の素数さん
垢版 |
2026/09/08(火) 23:03:31.98ID:FXiYhuft
何をどう見たら駆逐されると思えるのかが分からない
2026/09/08(火) 23:06:58.69ID:OnqnDfIE
いんだよ、糞スレなんだから、遊んでいけばw
14132人目の素数さん
垢版 |
2026/09/08(火) 23:13:10.80ID://PXnqE0
そもそも自分が興味を持ったことを研究するのだから競争は無い
15132人目の素数さん
垢版 |
2026/09/08(火) 23:14:42.97ID:qb+pVgHY
ヤコビアン予想が否定的に解決されて、さらに厳密な条件を探すような問題は無数に生まれてるのに、続報が無いあたりお察し
16132人目の素数さん
垢版 |
2026/09/08(火) 23:16:20.12ID:zFQJ3n/6
価値ある研究をして数学をリードするのは少数の天才だけ
残りはただの共鳴箱なのだからAIがあろうとなかろうと関係ない
17132人目の素数さん
垢版 |
2026/09/09(水) 06:04:27.91ID:qDy4xSX6
AIを使う側に問題選びのセンスが無い
2026/09/09(水) 06:17:56.09ID:EA2h2NWJ
On the Navier–Stokes Millennium Prize Problem
openai.com/index/navier-stokes-solution/
19132人目の素数さん
垢版 |
2026/09/09(水) 06:45:46.99ID:nNwFpdw8
タオやショルツェがAIで問題解いたとか自慢してない
素人の余興にすぎない
20132人目の素数さん
垢版 |
2026/09/09(水) 07:24:45.41ID:qIArjXNn
IUTと同じ
誰も興味無い
2026/09/09(水) 07:36:19.85ID:EA2h2NWJ
判断するのは専門家、素人には関係ない
2026/09/09(水) 08:08:41.45ID:EA2h2NWJ
その分野の専門家ね
23132人目の素数さん
垢版 |
2026/09/09(水) 08:43:26.53ID:5kDy8R0X
AIが独自の理論を構築しても人間にとって面白いとは限らないが
その応用として人間側の未解決問題が解決したとなれば無視はできないだろう

IUTとABC予想の関係のように
2026/09/09(水) 09:23:20.75ID:WVC3w5ex
ヤコビ予想の反例とかNSの爆発回の構成とかはできても
ヤコビ予想の2次元の肯定的解決とか
NSの大域的正則解の存在条件は手が出ないでしょう

インパクトある結果を食い散らかして業界荒らして去っていくだけよ
25132人目の素数さん
垢版 |
2026/09/09(水) 10:06:44.76ID:CyQbdNsU
>>24
できることしかできないのは人間も同じ
2026/09/09(水) 10:59:09.81ID:WVC3w5ex
大先生が大理論作った後を追って雑魚研究者がちまちま論文書く
この構図はAI時代も基本的に変わらないよ
27132人目の素数さん
垢版 |
2026/09/09(水) 11:38:32.70ID:sykihaua
AMS Newsroom
Statement from AMS Leadership on Navier-Stokes Problem
September 08, 2026
https://www.ams.org/news?news_id=7686

どうやらNavier-Stokes Problemが解かれた(?)らしいな。
クレイ数学研究所の賞金の行方はどうなるか。
28132人目の素数さん
垢版 |
2026/09/09(水) 11:45:46.10ID:OVaOd+IG
>>23
IUTは無視されてるじゃんw
29132人目の素数さん
垢版 |
2026/09/09(水) 13:10:15.00ID:sykihaua
人間では解けない最高難度の数学の問題、次世代AIが解答か…
直前に数学者ら手法公表も「参照せず」
2026/09/09
https://www.yomiuri.co.jp/science/20260909-GYT1T00117/

具体的にはどういうことかな。最初は滑らかな3Dの解が
時間が経つと、ある時点で解が爆発して、それから先は
数学の偏微分方程式であるNーS方程式としての解は無く
なるということかな?それで賞金問題の答えになってるの?
30132人目の素数さん
垢版 |
2026/09/09(水) 15:30:56.55ID:5kDy8R0X
>>28
ギャップが見つかるまでは必死だっただろ
AIが形式検証を付けるようになったらギャップの存在も期待できなくなる
2026/09/09(水) 23:13:36.45ID:WVC3w5ex
AI使えば崩れかけのD6でも人生逆転できるよ
今や若手にとってチャンス到来
くそジジイどもを駆逐しようぜ
32132人目の素数さん
垢版 |
2026/09/09(水) 23:33:42.88ID:IVpPOynD
進撃のAI
33132人目の素数さん
垢版 |
2026/09/13(日) 18:07:14.41ID:wOM4HieW
所詮N-S方程式は流体の物理現象を数式で近似したものに過ぎず、厳密に成り立つわけではない。
真の流体は連続体ではないし、N-S方程式は特殊相対性理論も満足していない。
特に境界での条件はモデルにならざるを得まい。
2026/09/13(日) 18:55:02.43ID:YautewpJ
>>33
流体を「分子の衝突近似」ではなく、「強結合な量子場が織りなす量子エンタングルメントの幾何学的影」として捉えるのがホログラフィ流体力学の立場です。
2026/09/15(火) 11:48:08.75ID:lTiVx6rt
ついこの前フィールズ賞で騒がしかったではないか
36132人目の素数さん
垢版 |
2026/09/15(火) 20:44:27.18ID:9Dz0Q+WG
AIで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者25人が非難の緊急声明
2026/09/12
https://www.yomiuri.co.jp/science/20260912-GYT1T00169/
37132人目の素数さん
垢版 |
2026/09/15(火) 20:54:39.58ID:3AyuKkvi
マイノリティな出自の数学者が難問を解決したとき評価しなかったら差別になる
38132人目の素数さん
垢版 |
2026/09/17(木) 08:46:50.72ID:hFn+qj3l
>>35
人間の最後の輝きになるかもってことでしょ
レスを投稿する


ニューススポーツなんでも実況