@math_jin

数学に関する話題や宇宙際タイヒミューラー理論に関する話題をつぶやきます。

Joined September 2009
  • Tweets8.2K
  • Following149
  • Followers4.5K
464Media
望月新一氏らが現在執筆中のIUT理論の進化版「ガロア軌道バージョン」は、 ・遠アーベル幾何学(局所・大域セクション予想) ・解析的数論(ジーゲル零点の非存在) ・ディオファントス幾何学(ABC/スピロ不等式の数値的強力版) に対する新しい結果を示してくれるとのこと #IUTABC kurims.kyoto-u.ac.jp/~motizu…
75
8
290
249,874
math_jin retweeted
math_jin@math_jinOct 26
文化功労者には終身年金（非課税）が支給される。 年間360万円。 すべて国民の税金から、である。 その文化功労者を決めるプロセスに密接に関わる選考分科会委員の選任。どれだけ大事でどれだけ平等に選任されるべきなのか、おわかりいただけるだろうか。 その任を負うのは、文部科学省である。
1
4
12
1,438
math_jin retweeted
math_jin@math_jinOct 26
文化功労者に至っては、数学分野からは伊藤清氏（2003年）を最後に、20年以上も忘れられているのだ。 つまり、分科会委員に、数学分野に明るい学識経験者が、20年以上選ばれていないのだ。 これは国の行政機関としての任務放棄ではないか？ その調整をするのが行政機構ではないか？
1
3
8
636
math_jin retweeted
math_jin@math_jinOct 23
私は何も数学に褒賞が欲しいからごねている訳ではありません。 国の為すことは何事も「平等」に選考されるべきで、公の機関の不作為や無関心で物事が決まっていくのはおかしいのではないか？が主訴です。 （文化功労者の年金だってもとは国民の税金！） #文化勲章文化功労者選考分科会委員に物申す
1
4
18
1,797
math_jin retweeted
math_jin@math_jinOct 26
柏原正樹氏がいくら数学界最高の賞、アーベル賞をとったとしても、いつまでも文化功労者になれず、忘れ去られるわけだ。 なぜなら文化功労者や文化勲章は 「本当の業績の卓越さ」 ではなく 「文科省の委嘱する選考委員の研究分野のさじ加減」 で決まるからだ。 柏原氏が選に漏れるのもむべなるかな。
3
5
330
IUTの検証に膨大な労力をかける動機が弱まる可能性もあるし、逆にAIがIUTのどこまでが正しく、どこに飛躍があるのかをLeanで切り分ける展開もあるかもしれない 面白いのは、AIが「IUTは完全に正しい」と結論する展開だけど、さすがにそれはないか…（2/n）
1
5
500
そろそろ「AIがABC予想を既存の理論だけで（IUT理論を使わずに）証明し、Leanで形式化も完了したよ」なんて発表されてもおかしくない時代になっているが、そうなるとIUTの成否の議論はどうなるか ABC予想が別ルートで解けても、「IUTが正しいか」は別問題。（1/n）
1
3
6
1,126
答え、出てたっぽい。
かわんご
@gweoipfsdOct 16
Open AIはIUT理論の問題も解決しようとしていた。そしてできなかったぽい。
1
3
1
53
10,169
math_jin retweeted
かわんご
@gweoipfsdOct 16
Open AIはIUT理論の問題も解決しようとしていた。そしてできなかったぽい。
Fumiharu Kato 加藤文元（Bungen）
@FumiharuKatoOct 16
OpenAIの数学リポジトリに、LANA-agentsが現れた日｜加藤文元 @FumiharuKato note.com/katobungen/n/n20ae0…

OpenAIの数学リポジトリにLANA-agentsが現れた日｜加藤文元

2026年10月6日、OpenAIが、未公開の社内AIモデルによって生成された700本を超える数学の原稿を、関連するLeanコードなどとともにGitHub上に公開した。その内容に数学者たちの関心が集まる中、我々LANAのメンバーは、公開されたopenai/mathのlean/lakefile.leanというLeanコードに、「lana-agents」という文字列が11件あることに気づいた。我...

note.com
5
58
11
367
91,956
math_jin retweeted
math_jin@math_jinJul 21
LANAプロジェクト中間発表会2026 スピーチ原稿 2026.07.21 2026年7月17日に行われたLANAプロジェクト中間発表会2026に際してのスピーチ原稿を掲載いたします。 speech_LANA_interim_report_202607 (EN).pdf speech_LANA_interim_report_202607 (JA).pdf #IUTABC #望月新一 zen.ac.jp/zmc/topics/arn1lig…
4
2
24
12,116
math_jin retweeted
Hirosi Ooguri
@PlanckScale23h
有限単純群の分類のLEANによる形式化ができたようだ axiommath.ai/research/the-en…

Formalizing the Enormous Theorem

Axiom has formalized in Lean the classification of finite simple groups, the longest proof in the history of mathematics.

axiommath.ai
1
48
2
219
18,493
これだけAIが未解決問題を証明しまくってるのに、宇宙際タイヒミューラー理論（ABC予想）だけは、Open AIもAnthropic恐ろしくて？話題にもあげず触りもしない件について。
13
86
22
1,066
236,892
Anthropicも
1
13
34,156
OpenAIが重大な数学の結果を発表しました。 ・掛谷予想を全次元で解決 ・3-SATの準指数時間アルゴリズム ・4次元ヤン–ミルズ理論とQCDの存在証明 個人的にはどれもフィールズ賞クラスと思いますが、同時に三つ、しかも先月の準リーマン予想から一か月で新たに出てきたのは本当に驚きです。
Dan Roberts
@danintheoryOct 26
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory. openai.com/index/building-sc…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
4
94
10
384
39,209
OpenAIが、ミレニアム問題の一部であるヤン－ミルズ理論の構成に成功したようです openai.com/index/building-sc…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
13
238
39
667
79,690
【新着情報】11月21日(土)、京都大学数理解析研究所、オンラインのハイブリッド方式で市民講演会「数学・数理科学の醍醐味」が開催されます。数学・数理科学の魅力に触れてみませんか？対面、オンライン参加ともに事前申込が必要です。 #数理女子 suri-joshi.jp/walk/kyoto2026…

2026年度 数学・数理科学5研究拠点合同市民講演会 「数学・数理科学の醍醐味」開催のお知らせ | 数理女子

日本を代表する数学・数理科学の5研究機関で行われている共同研究や共同利用事業の数々をもとに、...

suri-joshi.jp
2
5
428
東大数理 2026年度公開講座 「不等式で紐解く数学の美」 2026年11月21日(土)13:30～17:00 @東京大学駒場キャンパス 数理科学研究科棟 NISSAY Lecture Hall 対象：高校生，大学生，教員，数学に興味のある一般の方 ※対面形式，事前登録不要，入場無料 ms.u-tokyo.ac.jp//activity/l… #Dタイム情報
20
4
59
5,772
数学関連だと名古屋の大須賀さんと京大の河村先生が創発通っててヤバ
JST 科学技術振興機構@JST_infoOct 27
＜プレスリリース＞ #創発的研究支援事業 における2026年度新規研究課題の決定について jst.go.jp/pr/info/info1882/i… 2,519件の応募があり、243件の研究課題とその研究代表者を採択しました。 #JST #科学技術振興機構

機構報 第1882号：創発的研究支援事業における2026年度新規研究課題の決定について

JST（理事長 橋本 和仁）は、創発的研究支援事業の2026年度研究提案募集における新規研究課題を決定しました。

jst.go.jp
2
20
5,231
GMOハッカーが被害者情報の公開開始 既に被害者情報の第１号が公開されている。 coronamng.store/
5
290
100
2,713
2,910,895
【速報】GMOさん、正午を過ぎたので早速1人の個人名が晒された模様 公開された被害者 被害者第1号-****
143
318
138
4,318
7,726,424
GMOの犯人が晒しあげてる個人情報が 容赦なくてグロすぎるwww 氏名、年齢、住所、電話番号、子供の名前、職業(会社名含む)、活動範囲、利用してる金融機関やお名前口座破壊で受けた損害額などありとあらゆる個人情報が晒されてます まじで、GMOの熊谷社長どうすんのこれ… 顧客がPCよりも遥かに 大事な物をやはり失ってます
あおい みゆ
@japan_miyu_Oct 27
【超速報】 GMO攻撃 犯行グループがサイトを更新 顧客のPC情報は既に回収済みで順次公開していくと公表 既に1号被害者とされる人物が晒上げられてる状態
95
1,152
135
4,049
4,326,819
Load more