Urýchľovanie vedeckých objavov

“Niet pochýb, že riešenie problému jednotkovej vzdialenosti je míľnikom v AI matematike: keby článok napísal človek a poslal ho do Annals of Mathematics a mňa by požiadali o rýchly názor, bez akéhokoľvek váhania by som odporučil jeho prijatie. K tomu sa nepriblížil žiadny predchádzajúci dôkaz vytvorený AI.”

“Reťazec úvah modelu je hlboko zaujímavý. Je pozoruhodné, že významná väčšina úvah sa snaží skonštruovať druhý pohľad k všeobecne prijímanému hornému odhadu, namiesto toho, aby sa ho snažila dokázať. To naznačuje, že model má určitú kombináciu dobrej intuície, ochoty skúšať prístupy, ktoré komunita považuje za prístupy s nízkou šancou na úspech, a sklonu púšťať sa do konštrukcií.… Podľa môjho názoru tento článok ukazuje, že súčasné modely AI presahujú úlohu pomocníkov ľudských matematikov – sú schopné prichádzať s originálnymi dômyselnými nápadmi a potom ich doviesť do úspešného konca.”

“Je to naozaj pôsobivá práca a bez váhania by som ju prijal do akéhokoľvek časopisu. Na tomto probléme som v skutočnosti krátko pracoval a snažil som sa nájsť protipríklad, ale nepodarilo sa mi pokročiť… Je to rozhodne zastrašujúca konštrukcia na pochopenie, aj keď viete, o čo ide, a ešte ťažšie je skúšať sa s ňou hrať sám.”