機械は人間を超えると思いますか？数学においても。
そういう未来を作りたいと思いませんか？
抽象的な大学数学は記号列を変形していくゲームです。今はルールに曖昧なところがあって、機械にはできていません。しかしそれは、本質的には機械に向いているはずです。
私はATP研究会を立ち上げ、数学を機械に行わせる研究を始めました。数名のメンバーが集まり、web上で議論を行いながら、理論を作ったり実験を行ったりしています。
私たちの当面の目標は、数学定理の証明のチェックをするシステムで、大学数学科の人たちの補佐をすることです。abc予想を検証して１億円を取りたいです。
私たちは仲間を大募集しております。数学あるいはプログラムが得意な方、新しい世界を作りたい方、是非ご連絡を。