OpenAI 722 AI yaradılmış riyaziyyat əlyazmasını dərc etdi, Mistral isə 1T parametrlə Le Chonk təqdim etdi

OpenAI 722 AI yaradılmış riyaziyyat əlyazmasını dərc etdi

OpenAI daxili frontier modelinin yaratdığı yeni riyaziyyat nəticələrinin geniş spektrini dərc etdi. Buraxılış 372 ailəyə bölünmüş 722 əlyazmanı əhatə edir ki, onlar 377 riyaziyyat tapşırığını örtür. Şirkət bildirir ki, model riyaziyyatın Top 500 açıq tapşırığından 90 tapşırığı tam həll edib, qismən irəliləmə isə bir neçə minillik mükafat problemlərində, o cümlədən Riemann, Hodge və Birch və Swinnerton-Dyer hipotezalarında göstərilib.

Seçilmiş nəticələrə quasi-Riemann hipotezası daxildir ki, zeta funksiyasının real hissəsi 7/8-dən böyük olan sıfırları yoxdur. Model həmçinin matris vurmalarının eksponentini 2,25-dən çox olmayaraq müəyyən edib ki, bu, təxminən 2,37 olan əvvəlki rekoru yaxşılaşdırır. Digər sübutlara R^3-də Kakeya hipotezinin həllı və Hadwiger-Nelson problemində irəliləmə daxildir ki, burada aşağı hədd 6 ya 7-yə qədər yüksəlib. OpenAI bildirir ki, nəticələrin demək olar ki hamısı bir AI agentə verilən bir promptdan alınıb, daxili Pro model isə hər problemə orta hesablan üç saat sərf edib.

Şirkət Institute for Advanced Study-də fəaliyyət göstərən müstəqil riyaziyyat və süni intellekt məsləhətçilər qrupu ilə məsləhət görüb. Sosial şəbəkələrdə bir neçə riyaziyyatçı nəticələrə təəccüblənib, lakin heç birini xarici araşdırmaçılara hələ təsdiqləməyiblər.

Mistral 1T parametrlə Le Chonk modelini ön təlimlə təqdim etdi

Mistral açıq ön baxışda Mistral Large 4-ü, ləqəbi Le Chonk, 1 trilyon parametrlə modeli çıxardı ki, onun 49 milyard aktiv parametri var. Şirkət bildirir ki, birləşdirilmiş benchmarklarda bu ABŞ-dan ya Avropadan ən yaxşı açıq çəkili modeldir və kibertəhlükəsizlik, istehsal və maliyyə iş yüklərində ən son səviyyədə performans göstərərək.

Mistral şirkətinin sözünə görə, model Avropanın məlumat mərkəzlərində, o cümlədən Bruyères-le-Châtel klasterində 3 800 NVIDIA Grace Blackwell GPU-də sıfırdan təlim alıb. Təlim məlumatlarının böyük hissəsi çoxdilli idi. Testdə modellərdən açıq kod proqram təminatında real zəifliklərin reproduksiyası və sonra onların düzəldilməsi tələb olunanda, ML4 82% sabitlədi ki, bu, şirkətin sözünə görə, bütün modellər arasında ən yüksək idi. Model DeepSWE v1.1-də 62% əldə etdi.

Açıq çəkilərin buraxılması 27 oktyabr planlaşdırılır. Mistral-ın icraçı direktoru Arthur Mensh dedi ki, model şirkətin öz hesab güclərində təlim alıb və orada xidmət göstərir, gücləndirmə ilə öyrənmədə isə üstünlük əlaməti yoxdur.

Mənbələr: Techmeme