May ayının ortalarında, Kaliforniyanın Berkeley şəhərində gizli bir riyazi toplantı keçirildi. Dünyanın ən tanınmış 30 riyaziyyatçısı, süni intellektin riyazi problemləri həll etmə qabiliyyətini sınaqdan keçirmək üçün bir araya gəldi. İki gün ərzində akademiklər tərəfindən hazırlanmış çətin riyazi sualları cavablandırmaq üçün bir "məntiqi chatbot" ilə üz-üzə gəldilər. Təcrübənin sonunda tədqiqatçılar, botun ən mürəkkəb problemləri belə həll edə biləcəyini kəşf edərək heyrətləndilər. Virginia Universitetindən riyaziyyatçı Ken Ono, tədbirin təşkilatçısı və hakimlərindən biri olaraq, "Bu modellər riyazi dahilik səviyyəsinə yaxınlaşır" deyə qeyd etdi. Sınaqda istifadə olunan chatbot, OpenAI tərəfindən hazırlanmış və "o4-mini" adlanan süni intellekt modelidir. Bu model, əvvəlki ChatGPT versiyalarını idarə edən LLM-lərdən (böyük dil modellərindən) daha yüngül və daha çevikdir. O4-mini xüsusi məlumat dəstləri üzərində təlim keçərək insan müdaxiləsi ilə daha güclü şəkildə möhkəmləndirilmişdir. Nəticədə, ənənəvi modellərdən daha mürəkkəb riyazi problemləri həll etmək bacarığına sahib olmuşdur. Epoch AI adlı qeyri-kommersiya təşkilatı, əvvəlcə o4-mini-nin inkişafını izləmək üçün 300 riyazi sual hazırlamışdı. Bu sualların həlləri hələ dərc edilməmişdi və ənənəvi dil modelləri bu sualları yalnız kiçik bir faizlə həll edə bilmişdi. Lakin o4-mini-nin performansı tamamilə fərqli idi. Mayın 17 və 18-də keçirilən görüşdə, iştirakçılar botun məntiqi gücünü sınamaq üçün sonuncu çətinlik səviyyəsində suallar hazırladılar. Hər bir həll edə bilmədiyi sual üçün botu məğlub edən riyaziyyatçıya 7,500 ABŞ dolları mükafat verilirdi. Ken Ono, botun gözlənilməz riyazi bacarıqlarını nəzərə alaraq, "Bu modeli məğlub etməyə hazır deyildim" deyə etiraf etdi. Bot hətta bir neçə dəqiqə ərzində açıq sualları həll etmək üçün öz məntiqini nümayiş etdirərək insan mütəxəssisləri ilə rəqabətə girdi. Sınaq zamanı botun sürəti və effektivliyi də tədqiqatçıları heyrətləndirdi. Bot, bir insan mütəxəssisin həftələr və ya aylarla üzərində işləyəcəyi problemi bir neçə dəqiqədə həll etdi. Bununla belə, botun nəticələrinə həddindən artıq etibar edilməsinin potensial təhlükələri də müzakirə olundu. London İnsitutundan matematik Yang Hui He, "Bu bot, həddindən artıq inamla nəticələr təqdim edir. Bu, 'intimidasiya ilə sübut' üsulunu mənimsəyib" deyə qeyd etdi. Görüşün sonunda, iştirakçılar riyaziyyatın gələcəyi ilə bağlı müzakirələrə başladılar. Süni intellektin riyaziyyatçıların işində köklü dəyişikliklər edə biləcəyi ehtimalı irəli sürüldü. Məsələn, gələcəkdə riyaziyyatçılar yalnız suallar hazırlamaq və süni intellekt modelləri ilə birgə yeni riyazi həqiqətləri kəşf etmək üçün çalışa bilərlər. Ken Ono, "Bəzi həmkarlarıma deyirəm ki, ümumi süni intellektin heç vaxt gəlməyəcəyini söyləmək böyük bir səhvdir" deyə əlavə etdi. Bu hadisə süni intellektin riyaziyyat sahəsindəki potensialını və insanlarla əməkdaşlıq edərək daha yüksək səviyyələrə çatmaq imkanını nümayiş etdirdi.