Påskyndar vetenskapliga upptäckter

“Det råder ingen tvekan om att lösningen på problemet om enhetsavstånd är en milstolpe inom AI-matematik: om en människa hade skrivit artikeln och skickat in den till Annals of Mathematics och jag hade ombetts ge ett snabbt omdöme, skulle jag ha rekommenderat acceptans utan minsta tvekan. Inget tidigare AI-genererat bevis har varit i närheten av det.”

“Modellens CoT är djupt intressant. Det är anmärkningsvärt att en stor majoritet av resonemangen försöker konstruera ett motexempel till den allmänt accepterade övre gränsen, snarare än att försöka bevisa den. Detta tyder på att modellen har en kombination av god intuition, en vilja att pröva angreppssätt som forskarsamhället betraktat som osannolika och en benägenhet att försöka konstruera lösningar. … Enligt min mening visar den här artikeln att dagens AI-modeller har gått längre än att bara vara hjälpmedel för mänskliga matematiker – de är kapabla till originella och geniala idéer och kan dessutom utveckla dem hela vägen fram.”

“Det här är ett verkligt imponerande arbete, och jag skulle utan tvekan godkänna det för publicering i vilken tidskrift som helst. Jag arbetade faktiskt kort med detta problem och försökte skapa ett motexempel, men lyckades inte göra framsteg ... Det är definitivt en skrämmande konstruktion att tränga igenom även om man vet vad som pågår, och ännu svårare att själv ge sig i kast med.”