Open AI hävdar att AI löst 372 matematiska problem

Open AI uppger att bolagets AI har löst 372 matematiska problem som forskare hittills gått bet på. Beskedet har mött både fascination och oro i matematikvärlden, skriver Svenska Dagbladet.

Hur reagerar matematikerna?

Reaktionerna är starka bland matematiker. Svante Linusson, professor i matematik på KTH, beskriver stämningen som uppjagad.

– Det fullständigt bubblar. Hela världens matematikinstitutioner famlar efter hur vi ska hantera det här, säger Svante Linusson, professor i matematik på KTH.

Enligt Svenska Dagbladet upplever Linusson nyheten som omskakande. Han beskriver den som översvallande för en mänsklig matematiker.

Vilket dilemma står forskarna inför?

Forskarna riskerar att få en ny roll när AI-bolag hävdar att de löst matematikens stora gåtor. Linusson pekar på att arbetet i stället kan komma att handla om kontroll av lösningar.

Det kan innebära att matematiker ägnar sig åt granskning i stället för att ha roligt och lösa problem. Svenska Dagbladet ställer frågan i rubriken om det är granskning forskarna ska ägna sig åt i framtiden.

Open AI:s uppgifter lämnades i förra veckan, och frågan om hur matematikinstitutionerna ska hantera utvecklingen är ännu öppen.