Нейро-Инсайдер: Слухи об ИИ, Новости про нейросети.
IT и технологии · 12 октября 2026 г.
Достижения AlphaProof Nexus в математике
Достижения AlphaProof Nexus в математике DeepMind представила AlphaProof Nexus — систему, объединяющую модели Gemini и специализированный цикл обработки данных. Нейросеть успешно решила 9 открытых задач Эрдёша и 44 гипотезы о числовых последовательностях. Среди решенных задач — две проблемы, остававшиеся без ответа более 50 лет. Для верификации результатов система использовала язык формализации Lean, подтвердив все девять успехов в задачах Эрдёша. 🧠 📰 Подписаться на канал
4 просмотров