Anthropic формализовала теорему Ферма с помощью ИИ-модели
Anthropic выложила разбор про формализацию великой теоремы Ферма через ИИ-модель. Ход тут простой и сильный: модель не просто болтает про математику, а доводит доказательство до машинно проверяемой формы.
И да, у Anthropic опять видна их любимая линия: не только собрать умную иишку, но и понять, что у неё внутри, где она врёт, где может сломаться и как её держать безопасной. Для меня это куда интереснее, чем очередной бенчмарк ради бенчмарка.
Источник: Anthropic Research
Все новости: ai.popovs.tech
