インターネットの数学好き集団。数学にまつわる話題を発信しています。Join our Discord server↓

火星
Joined October 2017
数学を愛する会 retweeted
所谓优雅的数学结构,本质上是人类为了迁就自己那点可怜的脑容量,被迫发明出来的拐杖。 一个顶尖人类数学家的工作内存,撑死也就同时追踪五六个变量的交互。 当你在算一个偏微分方程或者组合不等式时,一旦展开到三阶以上,几十个交叉项涌出来,人脑就直接宕机了。 所以人类数学家极其厌恶展开高阶项,一旦看到高阶项发散,人类的本能反应是此路不通,赶紧退回来找对称性、找不变量、搞同调代数或者几何直观,试图不展开式子就把问题绕过去。 但 AI 没有这个生理缺陷。 对于上万个并发的 Agent 来说,同时追踪一万个五阶交叉项的系数变化,跟我们算 1+1 一样轻松。 在它的视野里,根本不需要什么几何直观,它直接站在高维的代数展开式里往下看,人类觉得像乱麻一样的百项高阶余项,在它眼里就是一张明明白白的线性方程组。 既然把式子硬展开到第七阶,再凑几个待定系数就能让所有讨厌的发散项精准归零,它为什么要费劲去帮你发明一个人类能看懂的新概念? 这 700 个结果背后最无奈的黑色幽默:我们终于拿到了上帝账本里的答案,却发现上帝算账根本不用微积分,他老人家是直接拿计算器硬按出来的。
232
432
99
4,245
374,310
数学を愛する会 retweeted
AIがもりもり証明できる時代になって、改めて「ゲーデルの不完全性定理」の重要性が光ってくるなあ…
「Lean は無矛盾である」という文はLeanの中で書けて、実際に書いた例もあります。 ですが第2不完全性定理より、Leanが本当に無矛盾なら、その文をLeanの中で証明することはできません。 ではLeanの正しさはどう保証されるのでしょうか。形式検証入門の2本目。 youtu.be/F6S22waRCbc?si=IaY8…
1
126
12
693
67,410
数学を愛する会 retweeted
突然ですがペンローズルービックキューブというものを考案しました
43
627
42
4,513
234,391
数学を愛する会 retweeted
伝説の入試問題が再び!と期待して f(n) に好きな n を代入して得点を得ようとした受験生を絶望に追いやった悪問の極み
13
79
31
902
1,168,735
数学を愛する会 retweeted
こちらのたとえが好きすぎたので画像にしてみました! 7人目のポアンカレ予想はすでにペレルマンが倒したので残りは6人です。 ナビエストークス方程式は外力なしの場合がまだ未解決なので七武海に残しています!
補足だけど、ミレニアム問題は21世紀に挑むべき重要な七問題というワンピースの王下七武海のような存在で、それよりも難しそうに思えるイム様、四皇、五老星、コング総帥、海軍大将のような問題もあるが倒せる気配がないのでそもそも懸賞金がかかってなかったりする。リーマン予想は四皇級かもしれんが
5
293
20
1,980
378,133
数学を愛する会 retweeted
サムネで完結する動画を作りました。
1
22
3
332
36,936
数学を愛する会 retweeted
素数ニュース! 素数ランキング 2 位の 2⁸²⁵⁸⁹⁹³³ - 1 (2486万2048桁) が、51番目のメルセンヌ素数であることが確定しました!! (50番目の 2⁷⁷²³²⁹¹⁷ - 1 との間に 1 つもメルセンヌ素数が無いことが二重チェックされた)
1
47
2
282
21,286
数学を愛する会 retweeted
Just to be clear, the Navier-Stokes blowup problem has no practical relevance whatsoever.
298
106
66
2,563
338,299
数学を愛する会 retweeted
嘘だろ…ほんとに割り切れるんだがこうも連日で発見されると衝撃だな
0000000000000000000000000000000000000000000000000000000000000000000000000000001 divides RSA-270
5
121
4
1,613
263,039
数学を愛する会 retweeted
4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA-260
654
4,346
1,378
36,955
19,014,617
数学を愛する会 retweeted
検証したけど合ってた。 1991年以来だれも解けてなくて1万コア年かかるとか言われてたのにそれが解ける時代になったのか… 解くのはこんなに難しいのに検証は簡単なの都合良すぎるだろ
4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA-260
5
520
19
3,890
792,752
数学を愛する会 retweeted
数学力じゃなくてサイバーセキュリティ力だったのは草。AIを前に既存のチェッカーツールを信用するのは危険だな……
AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明
10
46
12,486
数学を愛する会 retweeted
I found a counter example to the Pythagorean theorem with the help of GPT Mythos. Link to chat below.
25
30
4
1,468
209,865
数学を愛する会 retweeted
ABC予想の反例をAIが発見する。間違いなく一番面白い展開といえます。
2
31
4
512
100,509
数学を愛する会 retweeted
数学は終わらんぞ どんだけ未解決問題あると思ってんだ ってか、既存の未解決問題が解決したら、そこから理論の拡がりが生まれ、その理論の隙間にまたしても未解決な穴が問題として生えてくるんだぞ 云百年前の計算機の登場も昨今のエーアイ黎明も、数学の開拓に有用なツールが増えただけでしかない
6
81
11
606
54,045
数学を愛する会 retweeted
今度は北京大の数学科卒の人(ただしプロ数学者ではない方)が、6つの未解決問題を解決したとツイート…ヤコビアン予想の反例の発見者は数学の博士号を持ったプロ数学者(なおかつAnthropic社員)だったことに注意。
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol. I have a math background, but the Codex workflow I used does not require deep mathematical knowledge. Here’s exactly how I approached it, including my prompts 🧵
37
2
289
50,872
数学を愛する会 retweeted
Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years. The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60. Chat with GPT 5.6 Pro where this was found: chatgpt.com/share/6a60b2eb-0…
258
920
644
9,962
4,880,058
線形代数で、多くの理系大学生さんがつまずく と思われる代表格の一つ「対角化」‼️ 「計算はできるけど、その意味までは説明できない」 そんな方向けの、いつもより教科書よりな #mathlog 記事を書きました✨️ 「そもそも、なぜ行列の対角化といえば PDP⁻¹ なのか」 → mathlog.info/articles/Z5FFng…
「犯人を逮捕しろ! 」 「何をした犯人ですか?」 「逮捕したら分かる!」 私みたいな、罪状もわからない犯人タイーホに抵抗のあるタイプは、こうやって前提となる背景から説明していただけると助かります☺️
1
15
4
139
94,986
数学を愛する会 retweeted
イヤンホホ化操作って一般化するとめちゃくちゃ面白くて、 「隣り合った文字の右が五十音順で後に来るとき、その順番を入れ替えて左に合った文字を増殖させる」という操作の反復したものは、もとの文字列の部分列にならないんですよね。
著名な方がイヤンホホ化の話をしていてとても嬉しい 語末以外の「ン」もイヤンホホ化を適用することにより、「半ズボン」が「ンハハズンボボ」になるなど、よりエキサインティティグな変換も楽しめます。
4
260
18
2,092
483,482