Mempercepat penemuan ilmiah

“Tidak diragukan lagi bahwa solusi untuk masalah jarak satuan adalah tonggak dalam matematika AI: jika seorang manusia menulis makalah itu dan mengirimkannya ke Annals of Mathematics dan saya diminta memberikan pendapat cepat, saya akan merekomendasikan penerimaan tanpa ragu sedikit pun. Tidak ada bukti yang dihasilkan AI sebelumnya yang mendekati itu.”

“CoT model ini sangat menarik. Patut dicatat bahwa mayoritas signifikan dari pemikiran tersebut berusaha membangun contoh penyangkal terhadap batas atas yang diyakini luas, alih-alih berusaha membuktikannya. Ini menunjukkan bahwa model memiliki kombinasi intuisi yang baik, kesediaan untuk mencoba pendekatan yang dianggap berpeluang kecil oleh komunitas, dan kecenderungan untuk mencoba konstruksi.… Menurut saya, makalah ini menunjukkan bahwa model AI saat ini lebih dari sekadar pembantu bagi matematikawan manusia – model ini mampu memiliki gagasan orisinal yang cemerlang, lalu mewujudkannya hingga tuntas.”

“Ini adalah karya yang benar-benar mengesankan, dan saya akan menerimanya untuk jurnal mana pun tanpa ragu. Saya sebenarnya sempat bekerja singkat pada masalah ini dan mencoba membuat kontracontoh, tetapi gagal membuat kemajuan… Ini jelas merupakan konstruksi yang mengintimidasi untuk dipahami sepenuhnya bahkan jika Anda tahu apa yang sedang terjadi, dan lebih sulit lagi untuk mencobanya sendiri.”