Saat saya berusia sekitar 11 tahun, pertama kali mendengar tentang Teorema Akhir Fermat. Saya langsung tertarik dengan pernyataan masalah, serta cerita yang menemani, dan berusaha serius untuk membuktinya. Dan meskipun, tidak terduga, saya gagal, saya banyak belajar dari usaha tersebut.

Secara kebetulan bodoh pada fakta bahwa kasus itu sudah dibuktikan oleh Euler lebih dari 200 tahun yang lalu, saya memutuskan bahwa itu akan menjadi tempat yang baik untuk memulai: setelah saya mengatur itu, saya optimis bahwa saya akan siap menghadapi kasus umum. Karena saya masih tidak bisa benar-benar melihat dari mana harus dimulai, saya memutuskan untuk menyederhanakan masalah lebih lanjut dan fokus pada selisih suksesif kubus, dengan tujuan menunjukkan bahwa selisih seperti itu tidak bisa menjadi kubus sendiri. Saat itu saya tidak tahu cara mengekspresikan yang saya lakukan dalam bahasa aljabar, jadi saya tidak mencoba membuktikan secara eksplisit bahwa persamaan Diofantina tidak memiliki solusi.

Sebaliknya, saya menghitung beberapa selisih suksesif dan menatapnya, mencoba mendapatkan gambaran mengapa tidak ada di antaranya yang merupakan kubus sempurna. (Saya seharusnya jelas bahwa cerita ini adalah rekonstruksi dari apa yang saya kira kemungkinan terjadi diberikan beberapa jejak memori yang tersisa setengah abad lalu, bukan catatan yang sepenuhnya andal). Pada saat tertentu, saya punya ide untuk mengambil selisih urutan selisih, dan saya menemukan bahwa itu membentuk deret aritmetika. Rasanya seperti progres, jadi saya sedikit lebih banyak menyelidiki selisih urutan dan menemukan, secara empiris murni, aturan bahwa jika Anda memulai dengan pangkat dan terus mengambil selisih suksesif, akhirnya Anda akan mendapatkan deret konstan.

Sekali pun, saya tidak pernah mampu mengubah observasi ini menjadi bukti Teorema Fermat Akhir, dan kemudian mimpi saya menyelesaikannya digantikan oleh mimpi matematika lain. Namun, ketika saya mencapai titik dalam pendidikan matematika saya di mana saya diajar tentang selisih urutan dan tentang apa yang terjadi pada polinomial, saya memahami topik-topik ini jauh lebih baik daripada jika saya tidak menemukan selisih urutan untuk diri sendiri dan menghabiskan jam senang bermain dengan mereka. Saya hanya menyebutkan cerita ini sebagai ilustrasi fenomena yang sangat ditekankan dalam surat ini ditandatangani oleh 25 pemenang Medali Fields, yaitu bahwa seseorang belajar banyak dari memikirkan masalah, terlepas dari apakah masalah tersebut diselesaikan atau tidak.

Akhirnya, meskipun saya sepangkas mayoritas isinya, saya merasa saya tidak bisa menandatangani surat tersebut. Sebaliknya, lebih baik melakukan apa yang saya lakukan dengan Deklarasi Leiden dan mengungkapkan posisi saya sendiri dalam posting blog. Tapi harus dipahami bahwa dengan cara ini, saya tidak menempatkan diri sebagai anggota beberapa tim bertentangan: memang, salah satu khawatiranku saat ini adalah bahwa komunitas matematika mungkin menjadi amarginal divided, yang sangat saya hindari.

Selain itu, saya sepangkas poin fundamental bahwa kita menghadapi krisis: saya hanya ingin menyediakan analisis sedikit berbeda dari apa krisis itu. Saya tidak mengklaim originalitas penuh untuk analisis ini, karena saya tahu bahwa beberapa matematikawan lain sudah menyampaikan pemikiran yang mirip dengan pandangan saya, meskipun (yang bernilai) saya mencapai kesimpulan ini secara mayoritas independen. Tentang independensi, mungkin membantu jika saya menyederhanakan bahwa meskipun saya memiliki kontak di grup matematika Open AI, dan juga diberikan akses awal beberapa model mereka (typical hanya beberapa hari sebelum mereka dirilis), dan setelah dirilis diberikan akses gratis ke model Pro mereka, saya tidak pernah dibayar oleh Open AI.

Saya menyebutkan ini dengan harapan, mungkin naif, bahwa apa yang saya tulis tidak akan dibuang karena alasan ad hominem. Alasan potensial lain mengapa saya bisa dianggap "pro-AI" adalah karena, seperti yang saya nyatakan secara publik berulang kali, saya memiliki grup di Cambridge yang khusus untuk pembuktian teorema otomatis. Namun, itu sebenarnya lebih alasan untuk anti-AI, karena kelompok kami sudah mencoba...