Een paar uur voordat OpenAI dinsdag aankondigde dat het een beroemd wiskundig probleem had gekraakt, sprak ik over de rol van AI in de wiskunde met iemand die net als ik zijn carrière was begonnen in de wiskunde, maar al vele jaren iets anders doet. Hij vertelde hoe bevriende wiskundigen met wanhoop naar de huidige ontwikkelingen keken.…