math + AI
I am involved in efforts to carefully and dispassionately evaluated the impact of frontier AI models on mathematical research.
- Website: 1stproof.org
- Preprint: arXiv:2602.05192
I am involved in efforts to carefully and dispassionately evaluated the impact of frontier AI models on mathematical research.