Mempercepat penemuan saintifik

“Tidak syak lagi bahawa penyelesaian kepada masalah jarak unit ialah satu pencapaian penting dalam matematik AI: jika seorang manusia telah menulis kertas itu dan menyerahkannya kepada Annals of Mathematics dan saya diminta memberikan pandangan ringkas, saya akan mengesyorkan penerimaan tanpa sebarang keraguan. Tiada bukti yang dijana AI sebelum ini yang hampir mencapai tahap itu.”

“CoT model itu sangat menarik. Adalah ketara bahawa majoriti besar pemikiran itu cuba membina contoh balas kepada had atas yang dipercayai secara meluas, bukan cuba membuktikannya. Ini menunjukkan bahawa model tersebut mempunyai gabungan intuisi yang baik, kesediaan untuk mencuba pendekatan yang dianggap kurang berkemungkinan untuk berjaya oleh komuniti, dan kecenderungan untuk mencuba konstruksi.… Pada pendapat saya, kertas ini menunjukkan bahawa model AI semasa bukan sekadar berfungsi sebagai pembantu kepada ahli matematik manusia – mereka mampu menghasilkan idea asli yang bijak, kemudian melaksanakannya hingga berjaya.”

“Ini ialah kerja yang benar-benar mengagumkan, dan saya akan menerimanya untuk mana-mana jurnal tanpa teragak-agak. Saya sebenarnya pernah bekerja seketika pada masalah ini dan cuba membuat contoh balas, tetapi gagal mencapai kemajuan… Ini sememangnya pembinaan yang menggentarkan untuk difahami sepenuhnya walaupun anda tahu apa yang sedang berlaku, dan lebih sukar lagi untuk mencubanya sendiri.”