Ailenta 23:44 da yangilandi
Xabar

AI agentlari matematik isbotlarni avtomatlashtirdi

Tadqiqotchilar AI agentlari yordamida matematik isbotlarni avtomatlashtiruvchi AutoIP nomli Lean kutubxonasini yaratdilar. Bu AIning murakkab matematik vazifalarni bajarishdagi imkoniyatlarini ko'rsatadi.

6-noyabr, 10:00 · 2 kun oldin tadqiqotagentlar
Asl maqolani o'qish arXiv cs.AI

Sarlavha va xulosa asl maqola asosida sun'iy intellekt yordamida o'zbekchada tayyorlangan. To'liq matnni manbadan o'qing.

Shu mavzuda

Inkling 2 Small modeli sinovlarda so'kinish ishlatdi

Vals AI tahliliga ko'ra, Thinking Machines kompaniyasining Inkling 2 Small AI modeli 2 655 ta sinov to'plami davomida 316 marta so'kingan. Bu holat asosan barbod bo'lgan uzoq topshiriqlarda kuzatilgan. Muvaffaqiyatsiz bajarilgan topshiriqlarning 96 foizida so'kinish bo'lmagan.

The Decoder tadqiqot