数学を愛する会

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

[数学を愛する会 @mathlava]

【本が出ます！】

『数学クラスタが集まって本気で大喜利してみた』

会長の著書がKADOKAWAより発売！あのヨビノリたくみさんが認めた爆笑不可避の数学選手権と、会長の書き下ろしネタを多数掲載しています。ぜひご一読ください！

8/16(月) 発売
↓限定特典付きAmazon予約↓
https://t.co/IqO0LjNMNs

[Noe1017 @Noe1017_Monad]

所谓优雅的数学结构，本质上是人类为了迁就自己那点可怜的脑容量，被迫发明出来的拐杖。

一个顶尖人类数学家的工作内存，撑死也就同时追踪五六个变量的交互。

当你在算一个偏微分方程或者组合不等式时，一旦展开到三阶以上，几十个交叉项涌出来，人脑就直接宕机了。

所以人类数学家极其厌恶展开高阶项，一旦看到高阶项发散，人类的本能反应是此路不通，赶紧退回来找对称性、找不变量、搞同调代数或者几何直观，试图不展开式子就把问题绕过去。

但 AI 没有这个生理缺陷。

对于上万个并发的 Agent 来说，同时追踪一万个五阶交叉项的系数变化，跟我们算 1+1 一样轻松。

在它的视野里，根本不需要什么几何直观，它直接站在高维的代数展开式里往下看，人类觉得像乱麻一样的百项高阶余项，在它眼里就是一张明明白白的线性方程组。

既然把式子硬展开到第七阶，再凑几个待定系数就能让所有讨厌的发散项精准归零，它为什么要费劲去帮你发明一个人类能看懂的新概念？

这 700 个结果背后最无奈的黑色幽默：我们终于拿到了上帝账本里的答案，却发现上帝算账根本不用微积分，他老人家是直接拿计算器硬按出来的。

[結城浩 / Hiroshi Yuki @hyuki]

AIがもりもり証明できる時代になって、改めて「ゲーデルの不完全性定理」の重要性が光ってくるなあ…

[じゃがりきん @jagarikin]

突然ですがペンローズルービックキューブというものを考案しました

[数学を愛する会 @mathlava]

@Science_Release 直線以外でも切れるので怠けてない仕出し屋さんにもなれる見たいです！

[数学を愛する会 @mathlava]

数学クラスタの出番か？

[すのはら @sunohara_kos]

ショートケーキになんでも書いて人数分に切り分ける
「なかよしケーキシミュレーター」 を公開しました

[数学を愛する会 @mathlava]

OpenAIが解いたらしい

[Fermat's Library @fermatslibrary]

The convergence of the following series is still an open problem in Mathematics

[パジョカ (Pajoca) @Pajoca_]

伝説の入試問題が再び！と期待して f(n) に好きな n を代入して得点を得ようとした受験生を絶望に追いやった悪問の極み

[数理ちゃん @yohaku121244]

こちらのたとえが好きすぎたので画像にしてみました！
7人目のポアンカレ予想はすでにペレルマンが倒したので残りは6人です。
ナビエストークス方程式は外力なしの場合がまだ未解決なので七武海に残しています！

[数学を愛する会 @mathlava]

整数判定機として使われるsinさんだ

[えびま @evima0]

サムネで完結する動画を作りました。

[えびま @evima0]

サムネで完結する動画を作りました。

[パジョカ (Pajoca) @Pajoca_]

素数ニュース！
素数ランキング 2 位の 2⁸²⁵⁸⁹⁹³³ - 1 (2486万2048桁) が、51番目のメルセンヌ素数であることが確定しました！！
(50番目の 2⁷⁷²³²⁹¹⁷ - 1 との間に 1 つもメルセンヌ素数が無いことが二重チェックされた)

[Pedro Domingos @pmddomingos]

Just to be clear, the Navier-Stokes blowup problem has no practical relevance whatsoever.

[数学を愛する会 @mathlava]

完全にシンギュラリティへの到達だ…

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[ikkun @0xikkun]

嘘だろ…ほんとに割り切れるんだがこうも連日で発見されると衝撃だな

[penlu @penlume]

4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA-260

[ikkun @0xikkun]

検証したけど合ってた。
1991年以来だれも解けてなくて1万コア年かかるとか言われてたのにそれが解ける時代になったのか…
解くのはこんなに難しいのに検証は簡単なの都合良すぎるだろ

[数学を愛する会 @mathlava]

！？

[雑学をまとめる犬 @zatsugakuinu]

【解説】
まず結論ですが、最適解は以下の折れ線です。最初にこれを解の候補として示したAbram S. Besicovitchの名をとり、以下「Besicovitchの曲線」と呼ぶことにします。各直進距離は等しく、歩行距離は √(27/28) ≈ 0.98198km です。（続く）

[とよしま @toyoshim]

数学力じゃなくてサイバーセキュリティ力だったのは草。AIを前に既存のチェッカーツールを信用するのは危険だな……

[数学を愛する会 @mathlava]

嘘だろ…

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[Alec Helbling @alec_helbling]

I found a counter example to the Pythagorean theorem with the help of GPT Mythos.

Link to chat below.