Inter-universal geometry と ABC予想 (応援スレ) 54

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

Inter-universal geometry と ABC予想 (応援スレ) 54 - 暇つぶし2ch716:１３２人目の素数さん
21/06/10 13:04:51.19 rpbURcGM.net
Peter Scholzeは機械的に定理証明支援するシステムにまで手を広げているらしい。
IUTにはさすがに使えんだろうけど、、
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)

次ページ

続きを表示

1を表示