Математический ИИ DeepMind прошёл рецензирование в Science.
Журнал Science 8 октября опубликовал исследование Google DeepMind о системе AlphaProof Nexus. Система доказала 9 из 353 открытых задач Эрдёша и 44 гипотезы о целочисленных последовательностях. Каждое доказательство проверила программа Lean, но эксперты напоминают, что она не оценивает верность самой формулировки.
Почему это важноOpenAI на прошлой неделе выложила 722 написанные машиной статьи без журнальной рецензии, и математики возмутились. Эта работа показывает, что результаты ИИ могут идти и медленным путём.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Модель стала лучше, дообучившись на работе собственных команд агентов.2026-10-12Команды ИИ-агентов стоят до пяти раз дороже и почти не дают выигрыша.
2026-10-12В прайс-листе OpenAI появилась модель, о которой не объявляли.
2026-10-11Nikon отозвала приз за видео с микроскопа из-за генеративного ИИ.
2026-10-11Ни одна ИИ-модель не смогла заново придумать январскую идею людей.
2026-10-11