Anthropic выпустила Claude Fable 5.2: управление роботами и математика
Anthropic представила Claude Fable 5.2 и Claude Mythos 5.2 — новые версии моделей для сложных технических задач. Компания заявляет об улучшениях в программировании, рассуждениях и работе с визуальной информацией. В предварительных тестах модели помогли решить две открытые задачи по физике чёрных дыр и формализовать доказательство теоремы Ферма. Рассказываю, какие еще есть интересные результаты.Быстрее и дешевлеFable 5.2 генерирует ответы до 30% быстрее предыдущей версии. Цена API снизилась на 20%: с $10/$50 до $8 за миллион входных и $40 за миллион выходных токенов.
Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.
