https://b.hatena.ne.jp/entry/s/www.nikkei.com/article/DGXZQOSG1743L0X10C26A7000000/ ZEN大学やオランダのユトレヒト大学などは17日、数学の難問「ABC予想」に関連する理論が持つ問題点を絞り込んだと発表した。今後、問題点をどのように解決できるかが焦点となる。同日東京都内で国際共同研究の中... https://b.hatena.ne.jp/flying-cat/20260724#bookmark-4790286878068600866 2026-07-24T04:48:31Z https://b.hatena.ne.jp/dreamyou/20260724#bookmark-4790286878068600866 2026-07-23T22:28:39Z https://b.hatena.ne.jp/kita-tuba/20260722#bookmark-4790286878068600866 2026-07-22T11:26:38Z https://b.hatena.ne.jp/otani0083/20260722#bookmark-4790286878068600866 2026-07-22T03:01:40Z https://b.hatena.ne.jp/kitone/20260722#bookmark-4790286878068600866 2026-07-21T17:35:50Z https://b.hatena.ne.jp/Delphiver5/20260721#bookmark-4790286878068600866 深い内容はわからないが、この話題には以前から興味があった。 2026-07-21T09:43:55Z https://b.hatena.ne.jp/tikisn/20260721#bookmark-4790286878068600866 お膝元の京大ともう1つイギリスの大学でしか扱ってないみたいな話を昔聞いてもうダメなのかと思っていたが、そうでもなかったのね 2026-07-21T04:04:35Z 科学 知識 https://b.hatena.ne.jp/ku4u4ta1/20260721#bookmark-4790286878068600866 2026-07-20T19:16:45Z https://b.hatena.ne.jp/yamamototarou46542/20260720#bookmark-4790286878068600866 2026-07-20T03:00:02Z oooooo https://b.hatena.ne.jp/takutakuma/20260720#bookmark-4790286878068600866 2026-07-19T20:35:35Z https://b.hatena.ne.jp/unijam/20260720#bookmark-4790286878068600866 2026-07-19T17:49:01Z https://b.hatena.ne.jp/tatumac/20260719#bookmark-4790286878068600866 2026-07-19T05:32:10Z あとで読む https://b.hatena.ne.jp/in_factor/20260719#bookmark-4790286878068600866 2026-07-18T20:43:15Z https://b.hatena.ne.jp/zu2/20260719#bookmark-4790286878068600866 2026-07-18T15:01:01Z https://b.hatena.ne.jp/daybeforeyesterday/20260718#bookmark-4790286878068600866 ふーん 2026-07-18T13:28:42Z https://b.hatena.ne.jp/dhrname/20260718#bookmark-4790286878068600866 2026-07-18T13:27:55Z https://b.hatena.ne.jp/t_f_m/20260718#bookmark-4790286878068600866 2026-07-18T12:02:11Z https://b.hatena.ne.jp/ortica/20260718#bookmark-4790335152454475970 2026-07-18T09:19:02Z https://b.hatena.ne.jp/mshkh/20260718#bookmark-4790286878068600866 2026-07-18T08:58:54Z 数学 ABC予想 https://b.hatena.ne.jp/tamasaburou1982/20260718#bookmark-4790286878068600866 2026-07-18T08:40:15Z 数学 大学 https://b.hatena.ne.jp/nagaichi/20260718#bookmark-4790286878068600866 2026-07-18T08:31:28Z 数学 https://b.hatena.ne.jp/langu/20260718#bookmark-4790286878068600866 2026-07-18T07:06:27Z https://b.hatena.ne.jp/agrisearch/20260718#bookmark-4790286878068600866 2026-07-18T06:59:01Z 科学 AI https://b.hatena.ne.jp/ichan/20260718#bookmark-4790286878068600866 Leanで証明しようとしている 2026-07-18T04:12:41Z AI https://b.hatena.ne.jp/atoh/20260718#bookmark-4790286878068600866 2026-07-18T03:37:41Z あとで読む https://b.hatena.ne.jp/parrying/20260718#bookmark-4790286878068600866 論文の誤りを指摘されたのが2018年なので素人から見ると進んでんだか進んでないんだかわからないわね 2026-07-18T03:14:14Z https://b.hatena.ne.jp/pollyanna/20260718#bookmark-4790286878068600866 2026-07-18T02:30:54Z https://b.hatena.ne.jp/hitac/20260718#bookmark-4790286878068600866 天才が合ってるかよくわからんものを出して周りが困るってフェルマー予想を連想してしまう。今回はAIのおかげで何百年もかからない。 2026-07-18T02:30:38Z https://b.hatena.ne.jp/camellow/20260718#bookmark-4790286878068600866 理解できる人が少ない、プログラムに落とし込めない、問題点がなかなか「絞り込めない」なんてモノは数学として意味あるの？いやなんも知らんからそんなものなんだよと言われたらそうなのかと思うだけだけど。 2026-07-18T02:03:21Z https://b.hatena.ne.jp/wrss/20260718#bookmark-4790286878068600866 2026-07-18T01:38:31Z https://b.hatena.ne.jp/tashiromachi001/20260718#bookmark-4790286878068600866 2026-07-18T01:22:55Z あとで読む https://b.hatena.ne.jp/balaem/20260718#bookmark-4790286878068600866 2026-07-18T01:16:56Z https://b.hatena.ne.jp/aont/20260718#bookmark-4790286878068600866 2026-07-18T01:11:55Z https://b.hatena.ne.jp/laislanopira/20260718#bookmark-4790286878068600866 2026-07-18T00:31:46Z 科学 https://b.hatena.ne.jp/hhungry/20260718#bookmark-4790286878068600866 証明の証明。 2026-07-18T00:16:31Z news *続報 https://b.hatena.ne.jp/rain-tree/20260718#bookmark-4790286878068600866 2026-07-17T23:59:42Z https://b.hatena.ne.jp/ustar/20260718#bookmark-4790286878068600866 ZEN大学頑張ってるのにpopopoときたら（関係ない） 2026-07-17T23:38:59Z https://b.hatena.ne.jp/single_wing/20260718#bookmark-4790286878068600866 2026-07-17T23:21:29Z https://b.hatena.ne.jp/ys0000/20260718#bookmark-4790286878068600866 2026-07-17T23:17:03Z https://b.hatena.ne.jp/parakeetfish/20260718#bookmark-4790286878068600866 2026-07-17T23:16:01Z https://b.hatena.ne.jp/yasuhiro1212/20260718#bookmark-4790286878068600866 2026-07-17T23:13:39Z あとで読む https://b.hatena.ne.jp/thekoruku/20260718#bookmark-4790286878068600866 これ学術誌に掲載されたから証明完了になったんじゃなかったっけ？もし不備があるとするなら査読した人たちの権威はどうなるのか？ 2026-07-17T22:42:26Z https://b.hatena.ne.jp/fraction/20260718#bookmark-4790286878068600866 はてブにでてる読売の記事見るにそれこそ禅問答みたいだった部分が人間が理解できる形になったようで、形式化の努力もいいがその時点でもう一度その道のプロが検討できるのでは？ 2026-07-17T22:39:14Z https://b.hatena.ne.jp/jt_noSke/20260718#bookmark-4790286878068600866 2026-07-17T22:36:51Z https://b.hatena.ne.jp/naggg/20260718#bookmark-4790286878068600866 2026-07-17T22:31:09Z 数学 研究 https://b.hatena.ne.jp/pekee-nuee-nuee/20260718#bookmark-4790286878068600866 コンピュータで形式化やると決まってからの展開が早い 2026-07-17T22:12:40Z https://b.hatena.ne.jp/urtz/20260718#bookmark-4790286878068600866 2026-07-17T22:07:40Z あとで読む https://b.hatena.ne.jp/mjtai/20260718#bookmark-4790286878068600866 2026-07-17T22:04:39Z math 研究 https://b.hatena.ne.jp/niramoyashi/20260718#bookmark-4790286878068600866 チャッピーが先に解きそう 2026-07-17T21:41:36Z https://b.hatena.ne.jp/cu39/20260718#bookmark-4790286878068600866 日本語 https://www.youtube.com/watch?v=g0QLL8iYECY 英語 https://www.youtube.com/watch?v=KADN5NHmIfw 2026-07-17T21:27:58Z https://b.hatena.ne.jp/obsv/20260718#bookmark-4790286878068600866 2026-07-17T21:24:58Z あとで読む https://b.hatena.ne.jp/test0320/20260718#bookmark-4790286878068600866 2026-07-17T21:23:41Z https://b.hatena.ne.jp/oppai4649/20260718#bookmark-4790286878068600866 2026-07-17T21:00:55Z https://b.hatena.ne.jp/itochan315/20260718#bookmark-4790286878068600866 2026-07-17T20:49:47Z https://b.hatena.ne.jp/Listlessness/20260718#bookmark-4790286878068600866 2026-07-17T20:24:21Z https://b.hatena.ne.jp/natu3kan/20260718#bookmark-4790286878068600866 2026-07-17T20:07:53Z mathematics https://b.hatena.ne.jp/htnma108/20260718#bookmark-4790286878068600866 2026-07-17T19:27:50Z https://b.hatena.ne.jp/naqtn/20260718#bookmark-4790286878068600866 2026-07-17T18:51:54Z https://b.hatena.ne.jp/mimizukuma/20260718#bookmark-4790286878068600866 結局scholzeに指摘されたところが形式化できないと 2026-07-17T18:51:17Z https://b.hatena.ne.jp/witchhazel/20260718#bookmark-4790286878068600866 2026-07-17T18:12:56Z あとで読む https://b.hatena.ne.jp/akiu-ksg/20260718#bookmark-4790286878068600866 2026-07-17T17:38:10Z https://b.hatena.ne.jp/Itisango/20260718#bookmark-4790303733677375810 2026-07-17T17:03:40Z https://b.hatena.ne.jp/pixmap/20260718#bookmark-4790286878068600866 やっぱり難しそうだよな。Leanでてこずっているうちに、LLMが証明しちゃう方が早いかもしれん。 2026-07-17T17:02:03Z https://b.hatena.ne.jp/txmx5/20260718#bookmark-4790286878068600866 2026-07-17T17:00:21Z あとで読む https://b.hatena.ne.jp/advblog/20260718#bookmark-4790286878068600866 2026-07-17T16:28:35Z https://b.hatena.ne.jp/twmw/20260718#bookmark-4790286878068600866 予想以上にAIの進化が早すぎて望月さん逃げ切れない🤔 2026-07-17T15:59:06Z https://b.hatena.ne.jp/sorairo40/20260718#bookmark-4790286878068600866 2026-07-17T15:37:18Z math https://b.hatena.ne.jp/speake/20260718#bookmark-4790286878068600866 2026-07-17T15:28:00Z https://b.hatena.ne.jp/petite_blue/20260718#bookmark-4790286878068600866 2026-07-17T15:04:16Z math https://b.hatena.ne.jp/uoz/20260718#bookmark-4790286878068600866 2026-07-17T15:01:57Z https://b.hatena.ne.jp/Caerleon0327/20260717#bookmark-4790286878068600866 2026-07-17T14:54:05Z あとで読む https://b.hatena.ne.jp/yamada_k/20260717#bookmark-4790286878068600866 2026-07-17T14:53:10Z https://b.hatena.ne.jp/TanpoTP/20260717#bookmark-4790286878068600866 『具体的には異なる手順から得られる2つの「実数の物差し」が本当に同じものを測っていると示せるかどうかが焦点となった。……実際にはその数値を定義する枠組み同士が一致していることを示す必要がある。』 2026-07-17T14:52:52Z https://b.hatena.ne.jp/nttpf2/20260717#bookmark-4790286878068600866 2026-07-17T14:44:49Z あとで読む https://b.hatena.ne.jp/andsoatlast/20260717#bookmark-4790286878068600866 2026-07-17T13:56:02Z https://b.hatena.ne.jp/ma__ko__to/20260717#bookmark-4790286876457987074 2026-07-17T13:33:23Z あとで読む https://b.hatena.ne.jp/tinsep19/20260717#bookmark-4790286878068600866 2026-07-17T10:57:39Z https://b.hatena.ne.jp/Untouchable/20260717#bookmark-4790286876457987074 2026-07-17T08:20:21Z