Kevin Buzzard

Пост проекта Xena называет формализацию Великой теоремы Ферма на 13 миллионов строк, сгенерированную Claude, и попытку с упаковкой сфер вкладом с малой долговременной ценностью, тогда как 950 участников Mathlib и 65 рецензентов поддерживают планку качества.

От аспирантов теперь ожидают $200 в месяц за доступ к моделям вроде Sol и Fable — Гарвард уже оплачивает подписку каждому студенту, постдоку и преподавателю на математическом факультете.

Не всех в треде впечатлил результат: один комментатор поднял историю цитирований гипотезы Якобиана и обнаружил, что математики сузили пространство поиска ещё в 1983 году — ИИ не открыл новую территорию, а просто наконец её обошёл.