東京大学出身です。ATP研究会を立ち上げ、数学を機械にやらせることを目指しています。abc予想の検証にチャレンジします。
Following Organizations
No Organizations you are following
$ analyze @bestomoo
posted articles:
- 数学:50%
- AI:50%
- 形式化数学:50%
- 自動定理証明:50%
answered questions:
- No data