- 1 : 2026/07/17(金) 19:59:19.089 ID:oBRevmaFu
- 数学の超難問ABC予想、京大教授が証明 検証に7年半
35年間未解決で、世界中の数学者を悩ませてきた数学の超難問「ABC予想」を、京都大数理解析研究所の望月新一教授（51）が証明した。7年半に及ぶ検証を経て、証明論文の正しさが認められ、国際的な数学誌への掲載が決まった。京大が3日、発表した。数学のノーベル賞と言われるフィールズ賞級の業績だ。
https://www.asahi.com/sp/articles/ASN41635PN3WULBJ019.html
- 2 : 2026/07/17(金) 19:59:26.415 ID:oBRevmaFu
- すごい
- 3 : 2026/07/17(金) 19:59:50.103 ID:VPosr48Ef
- 望月かと思ったら望月だった
- 4 : 2026/07/17(金) 20:00:07.228 ID:oBRevmaFu
- 検証に7年半かかったけど正しさが認められたんや
- 6 : 2026/07/17(金) 20:00:21.938 ID:oBRevmaFu
- 同じ日本人として誇らしいわ😁
- 7 : 2026/07/17(金) 20:00:47.426 ID:VPosr48Ef
- 宇宙際タイヒミュラー定期
- 37 : 2026/07/17(金) 20:13:44.444 ID:KR3tAbFwq
- >>7
これ
- 8 : 2026/07/17(金) 20:00:55.031 ID:SdVsnzNky
- 今ならchat gptあるし余裕やろ
- 9 : 2026/07/17(金) 20:01:24.680 ID:EFJHTdzcr
- なんかアカンみたいな感じやったけど認められたんや
- 11 : 2026/07/17(金) 20:01:38.825 ID:F/jciic.u
- 国際的な数学誌に載ったんか
完全に証明完了やね
- 12 : 2026/07/17(金) 20:01:48.229 ID:sCtGo2hIp
- これどうなったんや
- 13 : 2026/07/17(金) 20:02:10.334 ID:MsKlDGjpv
- という記事が出たのが6年前か
今は誰も相手にしてないってエッヂャーが言ってたわ
- 14 : 2026/07/17(金) 20:02:17.722 ID:V9Wb/Dspp
- すげーと思ったら6年前のニュースかよ
- 15 : 2026/07/17(金) 20:02:20.980 ID:u9s2hg4VP
- これ今も議論中やないの？
- 17 : 2026/07/17(金) 20:04:13.343 ID:VgffJ9apE
- ワイは数学に明るいけどこれ信じてるのは日本人だけやぞ
- 24 : 2026/07/17(金) 20:05:50.875 ID:Wmfen0yYb
- >>17
数学界が認めてないだけじゃん
- 18 : 2026/07/17(金) 20:04:23.345 ID:E63gnxiWA
- エッジもどん引きの煽りカスで相手にされなくなった悲しき存在
- 19 : 2026/07/17(金) 20:04:35.770 ID:S5XTKygIp
- 金貰える問題やっけ
- 21 : 2026/07/17(金) 20:05:41.595 ID:qw0btEtkk
- AIは正しいかこれ理解できるんちゃうの
- 25 : 2026/07/17(金) 20:06:06.808 ID:PH5v4jkdp
- >>21
掲載された上で間違えるのがaiやぞ
- 41 : 2026/07/17(金) 20:15:34.842 ID:PRiH8IbaW
- >>21
できない定期
最強のファーブルとかミュトスや中華製でも無理
定義付けができないから
- 23 : 2026/07/17(金) 20:05:49.399 ID:pakjheEz6
- ちょうど今日あたりに検証グループが進捗出してたやろ
- 26 : 2026/07/17(金) 20:06:22.936 ID:itAfQVFlu
- ABE予想は？
- 27 : 2026/07/17(金) 20:06:52.455 ID:pakjheEz6
- 違う世界のものさしの定義が同じかどうかの証明ができるかどうからしいがそれがAIにできるかどうからしい
- 36 : 2026/07/17(金) 20:12:59.822 ID:8WTH/nSa1
- >>27
aiにできるかというよりaiで検証可能な型に落とし込めるかみたいな話やない
- 28 : 2026/07/17(金) 20:07:05.218 ID:75pF.HqHu
- フェルマーの最終定理より難しいんやろ？
日本人の研究者ってホンマ凄いわ
- 29 : 2026/07/17(金) 20:07:47.771 ID:gziDz9M6C
- な、日本人だろ？
- 30 : 2026/07/17(金) 20:08:32.524 ID:wGSgFIM4B
- 望月しか理解できないから否定もできない
- 31 : 2026/07/17(金) 20:08:56.059 ID:FIbT0Xxkv
- 京大数学科ってもう一人望月博士いるよな
- 34 : 2026/07/17(金) 20:11:26.640 ID:PodF2zqJc
- >>31
もう一人の望月博士もブレイクスルー賞受賞した天才や
- 32 : 2026/07/17(金) 20:09:22.086 ID:9FiOk.JbY
- AI使ったのかな
- 33 : 2026/07/17(金) 20:09:59.592 ID:koFoqrqvl
- 日本版ウィキがネトウヨに支配されてるのが分かった一件
- 49 : 2026/07/17(金) 20:18:07.151 ID:Meh2mcw6n
- >>33
ぐうmuyoこれ
- 35 : 2026/07/17(金) 20:11:37.496 ID:mjcMDNvwh
- だいぶかかったなあ発表から
- 38 : 2026/07/17(金) 20:13:45.841 ID:7C5fOGh62
- >>35
こういうやつってガチの障害持ち？
- 39 : 2026/07/17(金) 20:14:27.730 ID:mP2.hxR/B
- ここから6年
- 40 : 2026/07/17(金) 20:15:13.764 ID:p3bG9sRFB
- AI使ってるだろうし意味ないよ
- 42 : 2026/07/17(金) 20:15:48.547 ID:KR3tAbFwq
- やっぱ京大ってガチの天才の集まりなんやな
- 43 : 2026/07/17(金) 20:15:48.741 ID:XrFVQKZEB
- ABC予想って何？
- 44 : 2026/07/17(金) 20:16:28.079 ID:qxlXX22od
- 倉庫でピッキングしてるワイとこの人どっちの方が社会の役に立ってる？
- 46 : 2026/07/17(金) 20:17:23.572 ID:Meh2mcw6n
- >>44
いやお前は無職やん
- 47 : 2026/07/17(金) 20:17:24.727 ID:slcgep.2V
- >>44
お前のピッキング速度によるな
- 45 : 2026/07/17(金) 20:17:11.424 ID:Meh2mcw6n
- AI民ほんーーーーーーーーーーーーーーま惨めやな
- 51 : 2026/07/17(金) 20:19:24.206 ID:N2IlKX6Pu
- フィールズ賞級って書いとるけど望月教授って既にフィールズ賞受賞してたよな
ガチで天才やな
- 52 : 2026/07/17(金) 20:20:18.697 ID:SsLP/wOLu
- AIAI言ってるやつAIを魔法かなんかと思ってるんか？
流石にアホすぎるやろ
- 54 : 2026/07/17(金) 20:21:37.782 ID:jehNqkAVu
- AIなんて学部レベルの問題も間違うことある雑魚やん
使う訳ないやろ
- 55 : 2026/07/17(金) 20:21:45.869 ID:65XD12h75
- 頭おかしい人か
- 57 : 2026/07/17(金) 20:22:03.376 ID:PRiH8IbaW
- これ内容を理解した天才がドイツに2人いるんだけどそいつらにしか分からんから定義付けができない
コードに書けるならAIで検証ができるんだけどそもそもこれをAIにわかるように入力しなきゃならなくてそれが難しい
地球の言語で書かれていない
- 72 : 2026/07/17(金) 20:29:46.693 ID:xDeiaBv1r
- >>57
理解できるけど説明できないってどういうことなん？
- 74 : 2026/07/17(金) 20:31:06.437 ID:Meh2mcw6n
- >>72
内容が高度すぎてドイツの天才には理解できてもAIに理解できるような説明がつけられへんのやろ
- 58 : 2026/07/17(金) 20:22:23.788 ID:XG2Pasx8d
- AIに証明の真偽を聞くのはアホやろ
やけどこの証明が海外でどう扱われているかはAIで情報集めればわかるで
- 59 : 2026/07/17(金) 20:23:21.428 ID:q2jq/nu0P
- 取り合えず合ってる前提で未解決問題解きまくればええのに
ほんまに正しければ後々の状況証拠にはなるやろ
- 66 : 2026/07/17(金) 20:26:44.366 ID:XG2Pasx8d
- >>59
当たり前にやってるやろ
物理学なんか未解決問題の上に成立してるようなものやぞ
- 60 : 2026/07/17(金) 20:23:25.213 ID:ArgpzpwPk
- 数学のNHKスペシャル好き
- 61 : 2026/07/17(金) 20:23:36.149 ID:yMUBLiNwY
- で、いくら貰えんの？
- 62 : 2026/07/17(金) 20:24:21.830 ID:PRiH8IbaW
- スーパーコンピュータでも入力ができないから証明はできない
- 69 : 2026/07/17(金) 20:28:51.357 ID:f2m7Z.bGl
- これ出題者は答え知らんのにお題出してきてんの？
- 71 : 2026/07/17(金) 20:29:21.396 ID:CWApD1SCd
- >>69
せやから◯◯予想なんや
- 70 : 2026/07/17(金) 20:29:14.159 ID:mNtRsipBi
- 2012年に発表したけど意味わからんから受理するのに8年、さらに証明に7年半てすげえな
- 75 : 2026/07/17(金) 20:31:14.485 ID:wAbXhLp61
- 数学の世界では問題見つけた人も偉いから
- 76 : 2026/07/17(金) 20:31:17.255 ID:10GLfJ23N
- 7年半費してもまだ認められないなら
他の難問ももう解けてる可能性ある？
- 78 : 2026/07/17(金) 20:32:46.721 ID:FYNf5.rgh
- Leanで解決しようって取り組みは賢いと思うしかなり細かいところを証明できてたら文句なしって結果になったから結構いい方向行ってると思う
- 80 : 2026/07/17(金) 20:34:44.396 ID:i2qHRMwDY
- 2020年の記事やんけ
- 81 : 2026/07/17(金) 20:34:53.561 ID:.88WGx39h
- ワイもなんか予想したい
- 82 : 2026/07/17(金) 20:35:10.085 ID:umq2URZcc
- 数学者ってaiの発展で何の価値もなくなりつつあるよな
査読すら他の複数のaiに任せれりゃよくねって風潮になってきてるし
人間なら複数人が何年もかかるところaiの査読なら数日で終わるし
- 83 : 2026/07/17(金) 20:36:19.015 ID:ra.mE6lXV
- フィールズ賞って年齢制限あるからこの人は無理なんやろ
それとももう獲ってる？
- 85 : 2026/07/17(金) 20:36:25.296 ID:KR3tAbFwq
- 数学は宇宙の根源や
意味とか言ってる奴はズレてるで
- 87 : 2026/07/17(金) 20:37:45.377 ID:23FEKsKMs
- この論文を受理したのは権力者への悪しき忖度だったな
- 88 : 2026/07/17(金) 20:37:52.145 ID:qvQmBACBJ
- シロンボの妨害がね
ブルーアイズホワイトレイシストどもは難問を解くのは白人じゃないと認められないらしい
コメント