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

Inter-universal geometryとABC予想(シン応援スレ) 92 (368ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

329(1): 07/19(日)17:42 ID:dIige2Ai(1/5) AAS
>>318
加藤はこのプロジェクト発足のコメントを読んでも
当時は既に疑ってたはず
星も昨年末には形式化は無理だと考えていただろう

331(1): 07/19(日)17:44 ID:PUqsP0tr(2/2) AAS
>>329
星も望月も山下もYangも今形式化に取り組み始めてると報告されてたよ
形式化出来ないとは考えてないと思うよ