Разработчики из Anthropic сообщили о значительном достижении в области математической логики. Модель Claude успешно перевела сложное доказательство Великой теоремы Ферма на язык формальной верификации, открывая новые возможности для автоматизации фундаментальной науки.
Разработчик ИИ-систем Anthropic урегулировал масштабный судебный спор с группой литераторов. Компания выплатит компенсацию и изменит принципы обучения нейросетей, что знаменует конец эпохи нелицензированного использования интеллектуальной собственности в сфере машинного обучения.
Возвращение модели Fable 5 после технического перерыва обернулось для пользователей разочарованием из-за жестких квот на использование. Подписчики жалуются на снижение эффективности работы при сохранении прежней стоимости тарифов.
