In this talk, I will discuss the different incentives driving AI for formal maths research in industry and academia, their conflicts, and the possibilities of alignment, as a realist.
Mathematical Research at the University of Cambridge
In this talk, I will discuss the different incentives driving AI for formal maths research in industry and academia, their conflicts, and the possibilities of alignment, as a realist.
© 2025 University of Cambridge