Penting untuk difahami: Model ini tidak berjaya membuktikan Hipotesis Riemann itu sendiri. Hipotesis ini kekal sebagai salah satu daripada tujuh Masalah Milenium Clay, dengan hadiah $1 juta . Namun, hasil yang diperoleh adalah satu teorem tulen dalam teori nombor analitik .

Proses Autonomi yang Menakjubkan

Kejayaan ini mengikuti aliran kerja berbilang-agen yang luar biasa:

• Seorang kakitangan Anthropic yang tidak mempunyai latar belakang matematik yang serius meminta model untuk "cuba betul-betul" membuktikan hipotesis .
• Selama kira-kira 1.5 hari, model menguji sekitar 650 pendekatan calon melalui 60 sub-agen terkoordinasi .
• Proses ini menggunakan 31 juta token output merentasi dua sesi, melaksanakan 2,400 arahan shell, dan merujuk 54 kertas kerja arXiv .
• Dua daripada 60 sub-agen bertanggungjawab untuk membangunkan idea matematik utama .
• Pendekatan yang berjaya menggabungkan kertas kerja 2000 oleh Enrico Bombieri dengan hasil yang lebih terkini—satu kombinasi yang tidak pernah dihasilkan oleh penyelidik manusia sebelum ini .

Proses Pengesahan

Dua ahli matematik dalaman Anthropic—Levent Alpöge dan Ralph Furmaniak—menyemak dan mengesahkan bukti tersebut . Hujah ini kemudiannya diformalisasikan dalam Lean, satu pembantu pembuktian interaktif, menghasilkan sijil ketepatan yang boleh diperiksa oleh mesin . Pengesahan dwi ini (semakan pakar manusia + pengesahan formal) dianggap sebagai amalan terbaik untuk bukti matematik yang dihasilkan oleh AI.

Konteks 2026: Tahun Perubahan untuk AI dalam Matematik

Peningkatan sempadan Riemann oleh Claude bukanlah peristiwa terpencil. Tahun 2026 menyaksikan satu siri kejayaan matematik yang dipimpin AI:

• Mei 2026 — OpenAI mengumumkan model penaakulan umum yang belum dikeluarkan telah secara autonomi menafikan konjektur jarak unit Erdős, satu masalah terbuka berusia 80 tahun .
• Mei 2026 — AlphaProof Nexus Google DeepMind menyelesaikan sembilan masalah Erdős terbuka (ada yang tidak terselesaikan selama 56 tahun) dan membuktikan 44 konjektur daripada Online Encyclopedia of Integer Sequences .
• Julai 2026 — Ahli Matematik Anthropic, Levent Alpöge, menggunakan model "Fable 5" yang belum dikeluarkan untuk mencari contoh penafian kepada konjektur Jacobian, satu masalah yang dikemukakan pada tahun 1939 .
• Ogos 2026 — Model Astra OpenAI dilaporkan menyelesaikan sepuluh masalah matematik berusia puluhan tahun dengan kos pengiraan sekitar $2,000 .

Beberapa pengulas menyatakan bahawa bidang ini telah melintasi satu ambang pada pertengahan 2026: sistem AI beralih daripada menyelesaikan matematik peringkat pertandingan kepada menjana penyelidikan peringkat masalah terbuka yang boleh diterbitkan .

Debat: Kepengarangan, Piawaian, dan Deklarasi Leiden

Kepesatan matematik yang dihasilkan AI telah mencetuskan perdebatan sengit:

• Pada Jun 2026, sekumpulan 16 ahli matematik menerbitkan Deklarasi Leiden mengenai Kecerdasan Buatan dan Matematik, yang mengesyorkan piawaian baharu untuk struktur bukti, atribusi kepengarangan, dan pengawasan manusia terhadap hasil AI .

Ketegangan utama termasuk: Siapa yang mendapat kredit kepengarangan apabila AI menghasilkan bukti? Bolehkah bidang ini mengekalkan kepercayaan epistemik jika bukti terlalu panjang untuk diperiksa manusia tanpa alat formal? Dan bagaimana jurnal harus menyemak hasil yang tidak mungkin dihasilkan oleh seorang manusia ?

Sesetengah ahli matematik berpendapat bukti bantuan AI berisiko menghakis pemahaman dan pandangan penjelasan—sesebuah bukti mungkin tepat namun sukar difahami . Yang lain melihat pengesahan formal dalam Lean sebagai menyediakan piawaian yang lebih ketat daripada semakan rakan sebaya tradisional .

Apa Maksud Ini untuk Keupayaan AI Menemui Sains Baharu

Hasil Riemann Anthropic memajukan perbincangan dalam beberapa cara konkrit:

1. Skala penerokaan autonomi penting. Menguji 650 idea merentasi 60 sub-agen menunjukkan bahawa seni bina berbilang-agen boleh melakukan carian sistematik pada skala yang tidak mampu ditandingi oleh kumpulan penyelidikan manusia dalam jangka masa yang sama .

2. Sintesis kebetulan adalah mungkin. Model tanpa latihan matematik menggabungkan kertas Bombieri (2000) dengan hasil yang lebih baru—satu kombinasi yang tidak pernah dilihat oleh manusia—menunjukkan AI boleh membuat hubungan konseptual yang tidak jelas merentasi literatur yang berbeza .

3. Pengesahan formal menyelesaikan masalah kepercayaan. Pemformalan Lean bermaksud hasil ini bukan tuntutan "kotak hitam". Ia adalah teorem yang terbukti tepat yang boleh diperiksa secara mekanikal oleh mana-mana ahli matematik .

4. Debat kepengarangan dan piawaian adalah membina, bukan melumpuhkan. Kemunculan serentak hasil yang menakjubkan (DeepMind, OpenAI, Anthropic) dan respons institusi yang dipimpin komuniti (Deklarasi Leiden) menunjukkan komuniti matematik menyesuaikan diri dan bukannya berundur .

5. Kos dan kelajuan penemuan runtuh. Kos pengiraan $2,000 untuk hasil Astra OpenAI dan masa 36 jam untuk sempadan Riemann Claude menunjukkan kos marginal untuk penemuan matematik yang boleh diterbitkan menghampiri sifar .

Kesimpulannya: Peningkatan sempadan Riemann oleh Claude adalah demonstrasi mercu tanda bahawa sistem AI kini boleh secara autonomi menemui hasil matematik yang boleh diterbitkan dan boleh disahkan secara formal, yang memajukan masalah terbuka berusia 150 tahun. Digabungkan dengan rentetan kejayaan serupa pada 2026, ia mengalihkan perbincangan daripada "sama ada AI boleh menyumbang kepada penemuan saintifik" kepada "bagaimana komuniti saintifik harus menstrukturkan insentif, atribusi, dan pengesahan untuk kelas baharu penemu bersama AI."

Penting untuk difahami: Model ini tidak berjaya membuktikan Hipotesis Riemann itu sendiri. Hipotesis ini kekal sebagai salah satu daripada tujuh Masalah Milenium Clay, dengan hadiah $1 juta . Namun, hasil yang diperoleh adalah satu teorem tulen dalam teori nombor analitik .

Proses Autonomi yang Menakjubkan

Kejayaan ini mengikuti aliran kerja berbilang-agen yang luar biasa:

• Seorang kakitangan Anthropic yang tidak mempunyai latar belakang matematik yang serius meminta model untuk "cuba betul-betul" membuktikan hipotesis .
• Selama kira-kira 1.5 hari, model menguji sekitar 650 pendekatan calon melalui 60 sub-agen terkoordinasi .
• Proses ini menggunakan 31 juta token output merentasi dua sesi, melaksanakan 2,400 arahan shell, dan merujuk 54 kertas kerja arXiv .
• Dua daripada 60 sub-agen bertanggungjawab untuk membangunkan idea matematik utama .
• Pendekatan yang berjaya menggabungkan kertas kerja 2000 oleh Enrico Bombieri dengan hasil yang lebih terkini—satu kombinasi yang tidak pernah dihasilkan oleh penyelidik manusia sebelum ini .

Proses Pengesahan

Dua ahli matematik dalaman Anthropic—Levent Alpöge dan Ralph Furmaniak—menyemak dan mengesahkan bukti tersebut . Hujah ini kemudiannya diformalisasikan dalam Lean, satu pembantu pembuktian interaktif, menghasilkan sijil ketepatan yang boleh diperiksa oleh mesin . Pengesahan dwi ini (semakan pakar manusia + pengesahan formal) dianggap sebagai amalan terbaik untuk bukti matematik yang dihasilkan oleh AI.

Konteks 2026: Tahun Perubahan untuk AI dalam Matematik

Peningkatan sempadan Riemann oleh Claude bukanlah peristiwa terpencil. Tahun 2026 menyaksikan satu siri kejayaan matematik yang dipimpin AI:

• Mei 2026 — OpenAI mengumumkan model penaakulan umum yang belum dikeluarkan telah secara autonomi menafikan konjektur jarak unit Erdős, satu masalah terbuka berusia 80 tahun .
• Mei 2026 — AlphaProof Nexus Google DeepMind menyelesaikan sembilan masalah Erdős terbuka (ada yang tidak terselesaikan selama 56 tahun) dan membuktikan 44 konjektur daripada Online Encyclopedia of Integer Sequences .
• Julai 2026 — Ahli Matematik Anthropic, Levent Alpöge, menggunakan model "Fable 5" yang belum dikeluarkan untuk mencari contoh penafian kepada konjektur Jacobian, satu masalah yang dikemukakan pada tahun 1939 .
• Ogos 2026 — Model Astra OpenAI dilaporkan menyelesaikan sepuluh masalah matematik berusia puluhan tahun dengan kos pengiraan sekitar $2,000 .

Beberapa pengulas menyatakan bahawa bidang ini telah melintasi satu ambang pada pertengahan 2026: sistem AI beralih daripada menyelesaikan matematik peringkat pertandingan kepada menjana penyelidikan peringkat masalah terbuka yang boleh diterbitkan .

Debat: Kepengarangan, Piawaian, dan Deklarasi Leiden

Kepesatan matematik yang dihasilkan AI telah mencetuskan perdebatan sengit:

• Pada Jun 2026, sekumpulan 16 ahli matematik menerbitkan Deklarasi Leiden mengenai Kecerdasan Buatan dan Matematik, yang mengesyorkan piawaian baharu untuk struktur bukti, atribusi kepengarangan, dan pengawasan manusia terhadap hasil AI .

Ketegangan utama termasuk: Siapa yang mendapat kredit kepengarangan apabila AI menghasilkan bukti? Bolehkah bidang ini mengekalkan kepercayaan epistemik jika bukti terlalu panjang untuk diperiksa manusia tanpa alat formal? Dan bagaimana jurnal harus menyemak hasil yang tidak mungkin dihasilkan oleh seorang manusia ?

Sesetengah ahli matematik berpendapat bukti bantuan AI berisiko menghakis pemahaman dan pandangan penjelasan—sesebuah bukti mungkin tepat namun sukar difahami . Yang lain melihat pengesahan formal dalam Lean sebagai menyediakan piawaian yang lebih ketat daripada semakan rakan sebaya tradisional .

Apa Maksud Ini untuk Keupayaan AI Menemui Sains Baharu

Hasil Riemann Anthropic memajukan perbincangan dalam beberapa cara konkrit:

1. Skala penerokaan autonomi penting. Menguji 650 idea merentasi 60 sub-agen menunjukkan bahawa seni bina berbilang-agen boleh melakukan carian sistematik pada skala yang tidak mampu ditandingi oleh kumpulan penyelidikan manusia dalam jangka masa yang sama .

2. Sintesis kebetulan adalah mungkin. Model tanpa latihan matematik menggabungkan kertas Bombieri (2000) dengan hasil yang lebih baru—satu kombinasi yang tidak pernah dilihat oleh manusia—menunjukkan AI boleh membuat hubungan konseptual yang tidak jelas merentasi literatur yang berbeza .

3. Pengesahan formal menyelesaikan masalah kepercayaan. Pemformalan Lean bermaksud hasil ini bukan tuntutan "kotak hitam". Ia adalah teorem yang terbukti tepat yang boleh diperiksa secara mekanikal oleh mana-mana ahli matematik .

4. Debat kepengarangan dan piawaian adalah membina, bukan melumpuhkan. Kemunculan serentak hasil yang menakjubkan (DeepMind, OpenAI, Anthropic) dan respons institusi yang dipimpin komuniti (Deklarasi Leiden) menunjukkan komuniti matematik menyesuaikan diri dan bukannya berundur .

5. Kos dan kelajuan penemuan runtuh. Kos pengiraan $2,000 untuk hasil Astra OpenAI dan masa 36 jam untuk sempadan Riemann Claude menunjukkan kos marginal untuk penemuan matematik yang boleh diterbitkan menghampiri sifar .

Kesimpulannya: Peningkatan sempadan Riemann oleh Claude adalah demonstrasi mercu tanda bahawa sistem AI kini boleh secara autonomi menemui hasil matematik yang boleh diterbitkan dan boleh disahkan secara formal, yang memajukan masalah terbuka berusia 150 tahun. Digabungkan dengan rentetan kejayaan serupa pada 2026, ia mengalihkan perbincangan daripada "sama ada AI boleh menyumbang kepada penemuan saintifik" kepada "bagaimana komuniti saintifik harus menstrukturkan insentif, atribusi, dan pengesahan untuk kelas baharu penemu bersama AI."