история - главные новости
история - последние новости часа
+2843Стоимость жизни в Сан‑Франциско стала слишком высокой даже для IT‑специалистов с шестизначным доходом. Одна из причин — ИИ-компании с их невероятными зарплатами, пишет The New York Times.
Одна из самых мощных моделей Anthropic, Claude Fable 5, построила доказательство математической гипотезы, которую специалисты по квантовой оптимизации не могли доказать с 2014 года. Результат описан в препринте исследователей из Гарварда и MIT — Ури Кола, Маора Бен-Шахара, Кфира Сулимани и Дирка Энглунда. Главное отличие от прошлых громких заявлений в духе "ИИ решил математику": корректность доказательства проверяла не комиссия рецензентов, а программа — система формальной верификации Lean 4, которая принимает результат, только если каждый его шаг логически безупречен.