AI og matematikk: Jeg hadde endelig litt fritid til å starte mitt første forsøk på å bruke AI – ChatGPT Pro – til et gammelt matteproblem jeg la til side for mer enn et tiår siden. Jeg er ganske rusten på detaljene, men AI er det ikke. Jeg er allerede ganske imponert over fremgangen, jeg påpekte formodningen min og den har begynt å bryte den ned, gjøre numeriske eksperimenter, så utlede formodninger fra dem, teste dem litt mer, og så videre. Jeg vil ennå ikke avsløre det eksakte spørsmålet jeg jobber med, eller hva det har hjulpet meg å finne så langt. Og jeg er litt rusten selv, etter å ikke ha jobbet med matteoppgaver på ganske lenge. Men jeg kan se at hvis jeg hadde vært fulltids matematikkprofessor, ville dette verktøyet vært uvurderlig. Dere som driver med matematikkforskning til daglig – hvor nyttig synes dere AI i arbeidet deres? Har det allerede hjulpet deg med å løse et av dine store problemer?