AI en Wiskunde: Ik had eindelijk een beetje vrije tijd om mijn eerste poging te doen om AI -- ChatGPT Pro -- te gebruiken voor een oud wiskundeprobleem dat ik meer dan een decennium geleden opzij heb gezet. Ik ben behoorlijk roestig op de details, maar AI is dat niet. Ik ben al behoorlijk onder de indruk van de vooruitgang, ik heb mijn conjectuur aangegeven en het is begonnen het af te breken, numerieke experimenten uit te voeren, en vervolgens conjecturen daaruit af te leiden, die een beetje verder te testen, enzovoort. Ik wil nog niet de exacte vraag onthullen waar ik aan werk, noch wat het me tot nu toe heeft geholpen te vinden. En ik ben zelf ook een beetje roestig omdat ik al een tijdje niet aan wiskundeproblemen heb gewerkt. Maar ik kan zien hoe, als ik een fulltime wiskundeprofessor was geweest, deze tool van onschatbare waarde zou zijn geweest. Jullie die wiskundeonderzoek doen voor je werk -- hoe nuttig vinden jullie AI in jullie werk? Heeft het je al geholpen om een van je Grote Problemen op te lossen?