Tristan Bakmaster: üç partlayış nəticəsi və OpenAI ilə mübahisə

Üç nəticə, biri hələ dərc olunmayıb

Nyu-York Universitetinin Kurant İnstitutundan Tristan Bakmaster Levent Alpöge ilə əldə etdiyi üç nəticə barədə bəyanat dərc edib: hamar xarici qüvvə şəraitində sonlu zamanda partlayış sıxılmaz məsaməli mühit, Businesk və üçölçülü sıxılmaz Eyler tənlikləri üçün. Dördüncü nəticə — hipo-dissipativ Navye–Stoks üçün partlayış — Lean yoxlaması bitənədək dərc olunmur.

Bakmaster vurğulayır ki, proqram onlara aid deyil və onu dil modeli təklif etməyib. İdeya illərlə məcburi partlayışları araşdıran Dieqo Kordoba və Luis Martines-Soroyaya aiddir; Bakmaster və Alpöge dil modellərinin böyük köməyi ilə onların kobud qüvvə nəticəsini hamar qüvvəyə və Eyler tənliklərinə çatdırdılar.

15 avqust və modellərin rolu

İlin çox hissəsində irəliləyiş yavaş idi; dönüş nöqtəsi avqustun 15-də gəldi, həmin gün Businesk və Eyler üçün partlayış nəticələrini aldılar. Bakmasterə görə ilk model sübutu oxuduğu ən dəhşətli mətn idi; avqustun 22-də o, Lean-də təsdiqləndi. Onlar Anthropic-in Claude, OpenAI-ın Codex, xüsusən GPT-5.6 Sol və son dövrlərdə Astra modellərindən istifadə etdilər; Astra yalnız mətn yazmaq və arqumentləri audit etmək üçün idi.

Bakmaster təqdimatdan açıq narazıdır: Businesk və Eyler yazıları insan tərəfindən yazılmış məqalədən çox, insan rəhbərliyi altında modellərin istehsal etdiyinə bənzəyir, Eyler mətnini isə yalnız «süni intellekt zibili» kimi təsvir etmək olar. O, üzr istəyir və fikrincə Luis Martines-Soroyanın Filds medalına layiq olduğunu deyir.

OpenAI ilə mübahisə

Sentyabrın 3-də, Anthropic-in mühüm açıq problemi həll etdiyi barədə söz-söhbət yayılarkən Bakmaster OpenAI-ın tanınmış riyaziyyatçısına məktub yazdı. Sonradan ona bildirildi ki, OpenAI-ın daxili modeli məcburi Navye–Stoks tənlikləri üçün sonlu zamanda partlayış sübutu hazırlayıb — «R3 və T3-də məcburi partlayışın mövcudluğu», funksiya hamar, «Feffermanın ifadəsindəki c və d variantları». Təxminən 100 səhifəlik bu sübutu o görməyib. «Məcburi» sözü, yazır o, qırmızı bayraq idi: bu, Kordoba və Martines-Soroyanın açdığı və ikisinin səssizcə seçdiyi yoldur.

Ona deyildi ki, modelə sadəcə məsələnin ifadəsi verilib; lakin məlum oldu ki, problem üzərində bütöv bir komanda işləyib, göstərilən prompt belə Codex vasitəsilə yazılıb və nəhəng hesablama resursu sərf olunub. Sonda razılaşdılar ki, ilk prompt son günlərdə — işləri barədə məlumat OpenAI-a çatdıqdan sonra göndərilib. Modelin onların Codex sessiyaları üzərində öyrədildiyi soruşulduqda, istifadəçi məlumatlarına baxmadığı deyildi; yenidən soruşduqda cavab almadı.

Ona iki təklif verildi: OpenAI nəticəsini Eyler nəticəsindən sonrakı gün dərc etsin, ya da Bakmaster məqaləni təkbaşına yazsın. O, hər ikisini rədd etdi; açıq danışacağını söylədikdə cavab bu oldu: «Niyə karyeranı məhv edəsən?» Sübutu görmədiyini və heç kimi ittiham etmədiyini bildirir: əgər OpenAI modeli həqiqətən bu boşluğu bağlayıbsa, bu qeyri-adi haldır və tarixi qoruyaraq yüksək səslə deyilməlidir.