Matematik için yapay zeka alanında yeni ilerlemeleri paylaşmaktan mutluluk @GoogleDeepMind. Aşırı kombinatorikte ise AlphaEvolve, BEŞ klasik Ramsey sayısı için yeni alt sınırlar belirlemeye yardımcı oldu - bu o kadar zor bir sorun ki, Erdős bile zorluk hakkında yorum yaptı. Tarihsel olarak, bu sınırları hesaplamalı olarak türetmek için kişisel, insan tasarımı arama algoritmaları gerekiyordu. Bu sınırların çoğunda, en iyi önceki sonuçlar en az on yıl öncesine aittir. AlphaEvolve, bu yeni sınırları bulmak için gereken arama prosedürlerini otomatik olarak keşfeden tek bir meta-algoritma olarak bunu değiştirir. 📷

Ben asla Simülasyon Hipotezi'ne inanmadım. Ama @demishassabis ile neredeyse 10 yıl ortaklık kurduktan ve modellemesinin ne kadar doğru sonuç verdiğini gördükten sonra... Bunun doğru olabileceğini düşünmeye başladım. Ve hile kodları var.

(1) @GoogleDeepMind'daki ekibimiz, Terence Tao ve Javier Gómez-Serrano ile işbirliği yaparak AI ajanlarımızı (AlphaEvolve, AlphaProof, & Gemini Deep Think) Matematik araştırmalarını ilerletmek için kullanıyor. AlphaEvolve'un bir dizi problemde yeni sonuçlar keşfetmeye yardımcı olabileceğini buldular.