Google DeepMind-in AlphaProof Nexus-ı onlarca açıq riyazi problemi həll etdi

Doqquz Erdős problemi və 44 hipotez

Google DeepMind-in AI sistemi AlphaProof Nexus müstəqil olaraq onlarca açıq riyazi problemi həll etdi, bu isə Science-də dərc olunan rədd-i nəzər araşdırması ilə təsdiqlənir. Sistem 353 açıq Erdős problemindən doqquzunu həll etmişdir, onlardan ikisi 56 ildir ki, həll edilə bilmirdi.

Qrup bu həll yollarını məqalə dərc olunmadan əvvəl onlayn paylaşmışdı. Erdős problemlərindən əlavə, AlphaProof Nexus OEIS-in bütün ədədlər ardıcıllıqları bazasından 44 hipotezu təsdiqləmiş, cəbri geometriyada açıq mövzu həll etmiş və bəzi AI modellərinin təlimində istifadə olunan min-max optimallaşdırma üzrə məhdudiyyəti təkmilləşdirmişdir.

Sistem necə işləyir

AlphaProof Nexus Gemini 3,1 Pro-ə əsaslanır ki, bu da Lean formalında sübutlar yaradır və düzəldir. Lean hər dəyişiklikdən sonra hər eskizi yoxlayır, xəta isə bir növbəti cəhdi səbəb olur.

Daha çətin alt problemlər üçün sistem ixtisaslaşmış alət AlphaProof-a müraciət edə bilər. Google DeepMind bildirir ki, sistem AlphaProof olmasa belə doqquz Erdős problemi həll etmişdir.

Rədd-i nəzər: AI riyyazılığı müzakirələri fonunda

Bu araşdırma AI riyyazılığı ilə bağlı qızğın müzakirələr fonunda dərc edilmişdir. OpenAI az əvvəl GitHub-da jurnallarda nəşr etmək əvəzində yüzlərlə AI-generiyalı sübut təqdim etmişdi. Terence Tao rəhbərliyində insan riyyazılığı assosiasiyası bu yanaşmanı boykot etməyə çağırmışdır.

DeepMind isə əks olaraq öz işini rədd-i nəzərdən keçirmiş, nəticələr Science-də dərc etmişdir.

Mənbələr: The Decoder