Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

---

481:１３２人目の素数さん
26/07/24 21:30:09.55 wCcHV2Pm.net
私見だが
早く Leanによる形式化の詳細を公開して
みんなで議論して、早く前進させた方が良いと思う

ある方法がだめでも
おうおうにして
別の手段があるものです

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch