メインコンテンツへスキップ

#LANAプロジェクト

関連タグ

#lean (565)#ABC予想 (314)#IUT理論 (104)#ZEN大学 (452)#IUT (35)#コラッツ予想 (409)
人気
急上昇
新着
7件

定理3.11の「壁」に、数学者たちはどこまで近づいたのか——LANAプロジェクト中間報告を読む

数学の翻訳家

自然数学によるコラッツ証明はLean化も必要ない？ with AI

Hyama Natural Science Research Institute

プロジェクトLANAが楽しみだ

アールグレイ

加法（a+b=c）問題にLean化の必要性は? with AI

Hyama Natural Science Research Institute

現代数学最大のミステリー「IUT理論」の壁に挑む。定理3.11と系3.12の間に何があるのか？

数学の翻訳家

アカデミアの「知性」は、その程度か？

構文野郎

ZFCの動的要因の型宣言のbasic的省略 with AI

Hyama Natural Science Research Institute