Sad to see such smart people with such small visions for the future. In mathematics, it is more natural to treat AI as an assistant rather than as a competit

Sad to see such smart people with such small visions for the future. In mathematics, it is more natural to treat AI as an assistant rather than as a competitor. As Jeremy Avigad (2026) puts it, “We should keep in mind that AI is nothing more than technology, designed to serve our purposes. It is misguided to think of mathematicians as competing with AI; when we drive a car, we aren’t competing to see who can go faster, and when we use a phone, we aren’t competing to see who can speak louder.” Like… surely I don’t need to explain why artificial minds are a unique invention?