AI dan Masalah-Masalah Sulit Dunia ─ Matematika
Sains dan keilmuan yang dimajukan oleh AI, menurut disiplin
Umpan RSS · 3 item
AI semakin dekat untuk memecahkan hipotesis Riemann, salah satu masalah matematika tersulit
Judul asli: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
OpenAI unggah 700 pracetak matematika secara daring: para matematikawan berang
Judul asli: OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAI menggunakan model yang belum dirilis pada ratusan masalah matematika terkemuka dan mengunggah lebih dari 700 pracetak buatan AI di GitHub pada 6 Oktober. Sebagian matematikawan menyambut baik penyelesaian masalah yang sudah lama belum terpecahkan, sementara yang lain mengeluh di media sosial karena temuan mereka didahului. Seorang matematikawan menyebut banjir ini sebagai "slopocalypse", meskipun isinya masih bisa terbukti benar secara formal.
Claude telah memperbaiki batas bawah yang sudah lama ada untuk proporsi nol fungsi zeta Riemann yang memenuhi hipotesis Riemann
Judul asli: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
Hipotesis Riemann, sebuah masalah yang belum terpecahkan, menyatakan bahwa semua nol dari fungsi zeta Riemann terletak pada suatu garis vertikal tertentu. Saat mencoba menyelesaikan masalah ini, versi riset Claude yang belum dirilis tidak berhasil membuktikannya, tetapi memperbaiki batas bawah yang telah lama ada untuk proporsi nol yang memenuhinya, menaikkannya dari 41,6% menjadi 67,2%. Dua matematikawan Anthropic memvalidasi makalah tersebut dan menulis catatan pakar informal, dan Claude juga menghasilkan bukti yang dapat diverifikasi secara formal. Hasil ini tidak diharapkan akan mengarah pada bukti hipotesis itu sendiri.