Nexus AlphaProof dari Google DeepMind Menyelesaikan 9 Masalah Erdős pada 26 Mei, yang tertua belum terpecahkan selama 56 Tahun

Menurut xinzhiyuan, Google DeepMind merilis AlphaProof Nexus pada 26 Mei, sebuah agen matematika berbasis AI yang menyelesaikan sembilan masalah terbuka Erdős yang sudah lama, dengan yang tertua belum terselesaikan selama 56 tahun. Biaya per solusi hanya beberapa ratus dolar.

Setiap bukti diverifikasi secara formal oleh compiler Lean, sehingga menghilangkan kemungkinan kesalahan. DeepMind juga melaporkan terobosan di geometri aljabar, optimisasi cembung, teori graf, dan optik kuantum.