Группа из 11 ведущих математиков — среди которых филдсовский лауреат Мартин Хайрер — опубликовала 5 февраля десять исследовательских задач, которые никогда не появлялись в открытом доступе.
Инициатива получила название First Proof и задумывалась как первый честный тест способности ИИ решать задачи уровня реальной математической науки, а не олимпиад.
Ria24.today - агрегатор самых свежих новостей ведущих новостных сайтов со всего мира. 300+ информационных ресурсов на одном сайте, экономьте своё время.
Самые свежие новости на главной странице, чтобы вы всегда были в курсе, и владели информацией, полученной из разных источников, порой, с диаметральными политическими взглядами.
Актуальные новости 24 часа в сутки, 7 дней в неделю!
©2026. Все права защищены.
habr.com