Teadusavastuste kiirendamine

“Pole kahtlust, et ühikukauguse probleemi lahendus on verstapost tehisintellekti matemaatikas: kui inimene oleks selle artikli kirjutanud ja esitanud ajakirjale Annals of Mathematics ning minult oleks küsitud kiiret arvamust, oleksin soovitanud selle kõhkluseta vastu võtta. Ükski varasem tehisintellekti loodud tõestus pole sellele ligilähedalegi jõudnud.”

“Mudeli mõttekäik on sügavalt huvitav. Tähelepanuväärne on, et märkimisväärne enamus mõtetest püüab konstrueerida laialdaselt usutud ülemise piiri vastunäidet, mitte seda tõestada. See viitab kombinatsioonile, kus mudelil on arenenud vaist, julgus katsetada teadlaste poolt utoopiliseks peetud lahendusteid ja tugev kalduvus praktiliste mudelite koostamiseks... Minu arvates näitab see artikkel, et praegused AI-mudelid on enamat kui lihtsalt abimehed inimestest matemaatikutele – nad on võimelised looma algupäraseid ja geniaalseid ideid ning need ka edukalt lõpule viima.”

“See on tõesti muljetavaldav töö ja ma võtaksin selle kõhklematult vastu mis tahes ajakirjas. Tegelesin selle probleemiga tegelikult lühidalt ja püüdsin leida vastunäidet, kuid ei saavutanud edu… See on kindlasti keeruline konstruktsioon, mida on raske läbi näha isegi siis, kui tead, mis toimub, ja veelgi raskem on seda ise läbi proovida.”