Anthropicʼning mingta AI agenti 30 soatda Fermaning buyuk teoremasi isbotini rasmiylashtirdi
Kompaniya mingta Claude Fable 5.2 agenti 30 soat ichida Lean tilida Fermaning buyuk teoremasi isbotini yozib chiqqanini maʼlum qildi. Tajribada Claude Opus 5.5 ham qatnashdi.
Anthropic Claude Fable 5.2 va Claude Mythos 5.2 modellarini yangiladi. Fable 5.2 bilan oʻtkazilgan tajribada mingta agent boshlangʻich koʻrsatmalar va oraliq tasdiqlar roʻyxatini oldi, soʻng Lean tilidagi isbot ustida bajariladigan ishlarni mustaqil ravishda taqsimladi. Kompaniya maʼlumotiga koʻra, odamlar jarayonga kamdan-kam aralashgan, agentlarga esa matematik maʼlumotnomalar taqdim etilmagan.
Taqqoslash uchun Anthropic xuddi shu konfiguratsiyada taxminan mingta Claude Opus 5.5 agentidan foydalandi. Dastlabki 18 soat ichida model formalizatsiyaning 26 foizini bajardi, keyingi 12 soatda esa deyarli ilgarilamadi. Har ikki jamoa 18 soatdan keyin saqlangan holatdan ishni davom ettirdi. Grafikda har bir modelning bittadan ishga tushirilishi koʻrsatilgan.
Fable 5.2 ning dastlabki versiyasida agentlar jamoasi muhim xizmatni Pythonʼdan Rustʼga ham koʻchirdi. Anthropic bayonotiga koʻra, uni ishga tushirish vaqti taxminan 26 baravar qisqargan. Boshqa tajribada esa mingdan ortiq subagent sakkiz kun ichida noldan noutbukda yuklanadigan operatsion tizim prototipini yaratdi.
FrontierCode 2.0 sinovida Fable 5.2 Xhigh kuch sarflash darajasida 49,1 foiz natija qayd etdi, Fable 5.1 esa 32,4 foiz oldi. High rejimida u Max rejimidagi Opus 5.5 bilan taxminan bir xil natija koʻrsatdi, biroq bitta topshiriq narxi qariyb ikki baravar kam boʻldi.
Fable 5.2 va Mythos 5.2 bitta bazaviy modeldan foydalanadi. Fable barcha foydalanuvchilar uchun mavjud, biroq kiberxavfsizlik va biologiyadagi yuqori xavfli vazifalar uchun qoʻshimcha cheklovlarga ega. Tekshiruvdan oʻtgan tashkilotlar Anthropic dasturlari orqali Mythosʼdan foydalanish uchun ariza topshirishi mumkin. Claude Platform APIʼida Fable 5.2 claude-fable-5-2 nomi bilan taqdim etiladi. Tarif kiruvchi tokenlarning million donasi uchun $8, chiquvchi tokenlarning million donasi uchun esa $40 ni tashkil etadi; Fast Modeʼda bu narxlar mos ravishda $16 va $80.
