AI och matematik: Jag hade äntligen lite fritid att börja mitt första försök att använda AI – ChatGPT Pro – för ett gammalt matteproblem som jag lade åt sidan för mer än ett decennium sedan. Jag är ganska ringrostig på detaljerna, men AI är det inte. Jag är redan ganska imponerad av framstegen, jag påpekade min hypotesa och den har börjat bryta ner den, göra numeriska experiment, sedan dra slutsatser från dem, testa dem lite mer, och så vidare. Jag vill ännu inte avslöja exakt vilken fråga jag arbetar med, eller vad den hjälpt mig att hitta hittills. Och jag är lite ringrostig själv eftersom jag inte har jobbat med matteproblem på ganska länge. Men jag kan förstå att om jag hade varit heltidsprofessor i matematik, hade det här verktyget varit ovärderligt. Ni som arbetar med matematikforskning på heltid – hur mycket tycker ni att AI är användbart i ert arbete? Har det redan hjälpt dig att lösa ett av dina stora problem?