I am a mathematician working on building mathematical superintelligence
Email: justinchadwickasher@gmail.com
GitHub: github.com/justincasher
LinkedIn: linkedin.com/in/justin-asher
Selected recent works
The need for an autoformalizer (2024)
Abstract. I argue that the creation of an autoformalizer—a machine that can verify mathematics—would have monumental benefits for both academic research and industrial applications. I then discuss how one could be created.
Modeling Catan through self-play (2024)
Abstract. I taught a neural network how to play the board game Catan using supervised learning via self-play. When training, I utilized both temporal-difference and Monte-Carlo tree search methods, along with a residual neural network structure.
Infinity categories (2024)
Abstract. In this note, we answer the question "What is an infinity category?", explaining the definition in terms of simplicial categories, ordinary category theory, and homotopy theory.
The Ramanujan conjecture (2023)
Abstract. We discuss some of the main tools used by Deligne in proving the Ramanujan conjecture. These are notes from a talk, so I do not include most proofs.
© 2024 • Justin Asher