AI только что достиг идеального результата на самом сложном математическом конкурсе в мире. На конкурсе Патнем 12 задач по 10 баллов. Высший балл в прошлом году составил 90. Медиана? 0. AI-продавец Axiom в Lean набрал 120/120 и только что поделился всеми решениями. Огромный шаг вперед для AI в математике.
Источник:
191