【悲報】ZEN大学、新たな"研究所"を設立

>>42
>望月加藤文元がIUTは数学外と明言してる
明言てのがどういう状況でのことか分からないし
数学外かどうかも分からないな

真、善、美
偽、悪、醜

ZMCとは
ZMC（ZEN Mathematics Center; ZEN数学センター）は、
数論幾何学を中心とした現代数学や、
コンピューター言語を用いた現代数学の形式化
（formalization）の推進と発展を目指して設立された国際研究所です。

https://zen.ac.jp/zmc

ZEN数学センター（ZEN Mathematics Center; 略称 ZMC https://zen.ac.jp/zmc）では、以下の研究集会を企画しております。
︎タイトル：Arithmetic geometry, AI, and Lean
日程：2026年7月21日（火）〜23日（木）
開催地：東京都中央区銀座4-12-15 歌舞伎座タワー12F ドワンゴセミナールーム
オーガナイザー：
Johan Commelin（Utrecht）；星裕一郎（京都大学数理解析研究所）
加藤文元（ZMC）；Kiran Kedlaya（UCSD）；Adam Topaz（Alberta）
参加方法：要予約、無料
参加予約URL： https://docs.google.com/forms/d/1YLTuuU5u3l4QGgR-X0BokQFL6UUUeYEsIxIaxDuyAWg/viewform?edit_requested=true
注意：Registrationの締切は7月3日です。Registration を行うとすぐに詳しい参加日程と参加形態（対面かオンラインか）を問い合わせる2つ目のフォームのURLが送られてきます。そちらのフォーム（2つ目）は日程等の詳細が決まり次第お送りください（7月6日締め切り）。上のフォーム（1つ目）では、参加日程・形態については現時点で分かる範囲のおおまかな情報だけで結構です。
テーマ：近年、コンピュータによる数学の形式化に興味を持つ人が増えており、Lean4による数学の形式化と検証が、将来の数学研究のやり方を大きく変える可能性があると認識されつつあります。さらに、最近ではAIによる自動定理証明や、AIを用いた未解決問題の解決など、数学研究への人工知能の進出が多く見受けられるようになりました。今回のZMC研究集会では、数論幾何学や代数幾何学のコンピューター形式化を出発点として、数学者視点から、AIによる自動形式化や自動定理証明について取り上げたいと考えています。
本会議では、昨年と同様に、小グループに分かれて、実際にLean4を用いて数論幾何学に関連する数学の形式化に取り組む、3日間のグループワークも行います。
数論幾何学や代数幾何学以外のご専門の数学者の方々のご出席も歓迎いたします！

各セッションの内容：
・午前：数論幾何学のコンピューター形式化やAIによる自動形式・自動定理証明に関するセッションを行います。
Speakers:
Christian Merten (Utrecht)；Dagur Asgeirsson (Alberta）
Andrew Yang (Imperial College London）；園田翔（RIKEN AIP）；笠浦一海（Omron Sinic X）
Jiang Jiedong (Peking university)；Guoxiong Gao (Peking university)
...and more TBA
・午後：計算機による形式化に関するチュートリアルに引き続いて、小グループによる作業（Group work）を行います：参加者がいくつかの小グループに分かれて、実際に体験することでコンピューター形式化に入門し、数論幾何学の命題・補題などの実際の形式化に取り組みます。
皆様のご参加を歓迎致します。

テスト



https://www.mext.go.jp/component/b_menu/other/__icsFiles/afieldfile/2015/06/09/1358751_002.pdf

>>26
「出版社は大衆向けの娯楽本で商売すればいい、専門書は公共の利益になるから無料で出版しろ」

こうですか？わかりません

>>52
ハゲタカジャーナルだの受験産業だのは腐っとる。

Zenは急げだ。

15歳少女に現金渡しわいせつ　容疑でZEN大学教授を逮捕　「ニコニコ学会βの創設者」
2026/2/25 20:50

https://www.sankei.com/article/20260225-YBRLSSNO3ZKIBJPYQJM56TUZIE/

>>55
うわぁ

>>55
人工知能学会理事だったらしいな
https://www.ai-gakkai.or.jp/whats-new/announcement_20260226/

>>57
へんなコネが効くんだろうな
その学会

Bも興味津々かな？
女子学生と不倫して再婚したんだよね確か

>>46

IUGCで加藤文元も明言したし
川上量生企画望月新一監修加藤文元著
宇宙と宇宙をつなぐ数学で明言した。

https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m

まあ外面はいいんだろうけど
禿藁や望月のような強者にへつらって
弱者には嫌味な自慢ばかりしてる
スネ夫みたいな人だよね

>>60
今までの数学外ってことかもよ

>>61
朝鮮系の典型例w

>>59
多分違う

>>62

遠アーベル幾何学は数学.数学の発展だが、IUTはパラダイムシフトした
望月新一語のトンデモだ。

スネオヘアー

>>65
追記

zen大学の文元やフェセンコや梅崎氏の発言はIUTがハッタリとわかる。
加藤文元がIUTTと現数学は言語から違っている、と言いながら、
一方既にIUTTよりabc予想が解決した
と言ってる。

>>65
でもまだ数学なのかも知れないよ

>>67
つまり
既存の数学を拡張した新しいそれでも数学なのかもよ

>既存の数学を拡張した新しいそれでも数学なのかもよ

デマだね。
IUTはパラダイムシフトした全く新しい理論だ、と望月新一たちが宣言した。

3.11→3.12はself evident 自明
と回答した。
全く新しい理論IUTによれば、、

>>70
それでも数学かもよ

だいたい
数学だからこそLeanで検証しようって話になるわけでしょうに
全く新しいって枕詞に揚げ足取っても仕方ない

>数学だからこそLeanで検証しようって話

IUT語は自然言語ではないから
leanで検証できない

望月新一監修加藤文元著宇宙と
宇宙を繋ぐ「数学」

経歴で過大評価されてたけど実力はそこまででもなかった
晩年は自己評価と実績の剥離が受け入れられず
狂ってしまってとんでも理論に固執し続けて晩節を汚した

後世の望月評価はこんな感じで落ち着くだろうな

>>74
低学歴在日ワラタ
色々分かってねーな
どこの朝鮮人だおまえ

まず数学自体が自然言語ではない


朝鮮人ww

>>75
ゴミ本のタイトル？
意味不明なコピペ書き込みしてんじゃねーぞゴミコラ

>>75
　追記

本文　望月新一監修


p37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。

・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。

・IUT語　p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」

全ての講義がずんだもん動画のZUN大学とかあれば興味あるんだが

なのだ

>>80
>ZUN大学
ﾜﾛﾀ

まじで良いアイデアかも

ZMCとは

ZMC（ZEN Mathematics Center; ZEN数学センター）は、数論幾何学を中心とした現代数学や、
コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して
設立された国際研究所です。
https://zen.ac.jp/zmc

ドワンゴはなぜそんなに金持ちなの？

不当に税金吸ってるだけだろ

ぜんはいそいだ。

格言通り

日時：2026年9月14日（月）13:00 – 18:15
場所：九州大学伊都キャンパス ウエスト1号館4階 IMIオーディトリアム
方式：対面およびオンラインのハイブリッド方式
主催：九州大学マス・フォア・インダストリ研究所
後援：日本応用数理学会，日本数学会（申請中）
ウェブページ：https://sites.google.com/view/iciam-imi-symposium2026/home

日本数学会の再編へと進むか

数学の学会は日本数学会しか無いと思ってるな

87のタイトルがぬけてた

新しい数学が社会を拓く - AI革命の中での数学の潮流と未来 -
IMI Auditorium, Ito Campus, Kyushu University

応用数学会は
あたらしいのでまだ再編しなくてよいだろう

上野先生の日本数学協会
解散してた

再結成の動きはないのか

❖❖❖　日本数学協会　Zoom講義　❖❖❖
【テーマ】　＜ 連分数 ＞
＊　講　師：　上野 健爾 氏（四日市大学 関孝和数学研究所）
＊　開講日：　2026年5月24日（日）・ 6月7日（日）・ 7月12日（日）
※詳しくは、「講義のご案内」ページをご覧ください。

ショルツェは高校時代に代数幾何に魅了されたそうだが

みんな魅了される

永田・丸山・宮西に魅了された人たちは
今いずこ

ハーツホーンが現れる前

SCVから見ればあまりにもformal

IUGCからZMCに「名称変更」したり
IUT賞を黒歴史にした時点で
もう気づいてたってことだろーね

>IUT賞を黒歴史にした
ソースは？

>>102
１０年間毎年出すって言ってたinnovator賞のことだよ
第一回以降出してないことが証拠

さらにzmcのサイトにももう何も書かれてない

>１０年間毎年出すって言ってたinnovator賞
ソースは？

大勢が知っていて検索すれば一発で見つかることを
しつこく聞くのはシーライオニングってゆう嫌がらせだね
https://zen.ac.jp/news/pwcfj8s9z1nl
＞2024年より10年間毎年、IUT理論とその関連分野における
＞新しい重要な発展を含む論文1編を選出します。

https://x.com/gweoipfsd/status/2077607051015127198
＞この数学のプロジェクトはポケットマネー5億円ぐらいです。
＞この10年数学界をゆるがしたIUT理論についての議論を進展させます。

議論はとっくのとうに決着してる
ABC予想は予想のままだしIUT論文なんてもう誰も引用してない
https://arxiv.org/search/?query=%22abc+conjecture%22&searchtype=all
証明もない説明もできない側が自明って言い張ってごねてるだけ

金なんていくら掛けてもどんな結果が出ても
証明がないってことが再確認されて
自明って言い張ってる側がごね続けるだけ

それでもかわんごの心意気は買うよ
だから
５億円掛けたかいがあったってゆえる結末を期待してるよ

仮に反例見つけたところで、修正可能だって言われて賞金出ないんだろ？

何の反例？

不等式満たす整数が無限にあるようなイプシロンの存在

↓前スレの予言者たちが大正解で笑える

580 １３２人目の素数さん 2026/06/05(金) 13:57:15.51 ID:hh2bP5sr
ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね

582 １３２人目の素数さん sage 2026/06/05(金) 20:47:34.74 ID:dIc+3A3u
「問題は3.12じゃなああい、3.11.5だああ」
とか小細工かましてフカしてるあたり
認めないだろうなw

583 １３２人目の素数さん 2026/06/08(月) 23:26:33.76 ID:jIFwXGol
ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...

数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告
2026/07/17
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/

>>112
RIMSの論文の価値激減したな

IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
2026年7月17日（金）
https://youtu.be/g0QLL8iYECY

ということで一段落

元々望月新一語のIUTは数学ではありません。
zen大学設置認可をアピールするtool だった！

➖➖
世界で2番目のIUT理論研究拠点「IUGC 宇宙際幾何学センター」設立｜ZEN大学

https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m

高度な数学専門知識で煙に巻くペテン師の集まりだった訳ね

地面師たち

LANA中間報告。
3.11→3.12への部分もLANAプロジェクトリーダーの加藤文元IUGC所長
(ZMCへ改称)の発言に対応している


1
加藤文元、
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。

つまり、
新しい数学の言語体系は望月新一語のIUT語でIUT語のIUT理論が現時点では未完成です。

2
アナウスによれば、abc予想を解決したIUT理論。

既にIUT語のIUT理論よりabc予想は解決した。

1と2は因果律から矛盾している。
間違ってすらいないトンデモでよく見られる現象

いまAIを使うと半年ごとに500万円の研究費が国から大学等の研究者に出るんだよ。

>>120
デマセン

デマナノ？

ドワンゴ川上「障害者だから配慮しろとか言うとタブーになって誰も関わらなくなる。障害者に関わると損をするのは事実。」 [856698234]
https://greta.5ch.io/test/read.cgi/poverty/1785726101/

ドワンゴの話は食傷気味w

>>124
日本財団ドワンゴ学園の話だがw

fsdfsfsa

dfsfsdfs

sdfsdfsdfasd

sfdfse

dsffasffas

gfdsgdfs

fsddsfe

fsddse

sfddadf

ABC予想論文の件は、まだ決着がついてない？
白黒はっきりさせたら賞金が出ることになった、と聞いた気がする。
その辺りまでしか知らんのだが。

The CC bf

>>136
あの賞金、川上が非公開な方法で判定するクソチョン基準w

>>138
それ、何の意味があるんだ？ｗ
最初から外部の一流ジャーナルに投稿しておくべきだったんだろうな。
まあ何十回も言われたことだろうけど。

ドワンゴ学園どうするよw


703 login:Penguin 2026/09/20(日) 17:23:45.42 ID:4xQbISBo
今では個人情報漏洩したりランサムウェアにやられるのは病院関係とリテラシーの低い文系中小企業と大学・学校関係が相場
それくらい大学のITリテラシーは低くなってしまった
SIerに丸投げするからこうなる典型
https://mao.5ch.io/test/read.cgi/linux/1731810319/703

>>140
別に何も無いでしょ？