Итоги недели: математика ИИ в США, фигура DeepSeek в Китае
Итоги недели: математика ИИ в США, фигура DeepSeek в Китае На этой неделе в центре внимания оказались споры о доверии к ИИ-доказательствам в математике и история успеха китайского стартапа DeepSeek. 🇺🇸 AlphaProof Nexus решила девять задач Эрдёша Модель Google DeepMind AlphaProof Nexus, построенная на Gemini 3.1 Pro, решила девять из 353 открытых проблем Эрдёша, две из которых не решались 56 лет, а также доказала 44 гипотезы из базы OEIS. Работа прошла через полноценное рецензирование и была опубликована в журнале Science, в отличие от OpenAI, которая выложила свои доказательства на GitHub без рецензирования. 💡 На пальцах: На пальцах: даже в фундаментальной математике ИИ начинает получать результаты, которые подтверждают независимые эксперты, а не только сама компания-разработчик. 🔗 The Decoder 🇺🇸 OpenAI выложила 722 доказательства и вызвала протест математиков 6 октября OpenAI опубликовала на GitHub 722 ИИ-доказательства математических теорем из 372 семейств результатов, созданных непубличной моделью; через два дня три работы отозвали из-за ошибок, а независимую формальную проверку в Lean прошли лишь около 42% основных выводов. Ассоциация Human Mathematics во главе с Терренсом Тао и 25 обладателей Филдсовской премии назвали это демонстрацией силы, а не научным достижением, указав, что около 350 значимых нерешённых задач разом перестали быть такими. 💡 На пальцах: На пальцах: массовый выброс непроверенных ИИ-доказательств бьёт по молодым учёным и доверию в науке — ценность результата теперь определяется не скоростью, а независимой проверкой. 🔗 tmtpost.com 🇨🇳 Основатель DeepSeek прошёл путь от деревни до миллиардера Лян Вэньфэн родился в деревне в провинции Гуандун, окончил Чжэцзянский университет и в 2010 году начал разрабывать алгоритмы для биржевой торговли, а в 2015 году вместе с партнёрами основал количественный инвестиционный фонд High-Flyer. В 2023 году на базе накопленных вычислительных ресурсов фонда он создал DeepSeek, а после выхода модели R1 в январе 2025 года Forbes оценил его состояние в 39,9 млрд долларов по состоянию на сентябрь 2026 года. 💡 На пальцах: На пальцах: успех DeepSeek показывает, что сильную ИИ-модель можно создать не только за счёт огромных вложений в инфраструктуру, но и за счёт накопленных вычислительных ресурсов и грамотной команды. 🔗 baomoi.com 🇨🇳 DeepSeek развивает линейку моделей от V3 до V4 Китайский стартап DeepSeek, основанный в 2023 году Лян Вэньфэном, выпустил серию открытых моделей — от V3 с 671 млрд параметров до V4-Pro с 1,6 трлн параметров и контекстом до 1 млн токенов, конкурирующих с продуктами американских компаний при заметно меньших затратах на обучение. Выход модели R1 в январе 2025 года заставил инвесторов США усомниться в оправданности огромных вложений в ИИ-инфраструктуру. 💡 На пальцах: На пальцах: открытые модели DeepSeek доступны для скачивания и доработки разработчикам по всему миру, включая Россию, что расширяет выбор альтернатив западным сервисам. 🔗 builtin.com На следующей неделе стоит ждать продолжения дискуссии о стандартах проверки ИИ-доказательств в математике между OpenAI, Google DeepMind и научным сообществом. #НейроНовости #США #Китай #DeepSeek