Алгоритм FunSearch: LLM находит новые математические решения
Впервые большая языковая модель (LLM) была использована для открытия новых проверяемых знаний в математике, улучшив границы для проблемы Cap Set.
Впервые большая языковая модель (LLM) была использована для открытия новых проверяемых знаний в математике, улучшив границы для проблемы Cap Set.
Абелевская премия 2024 года была присуждена Мишелю Талаграну за его вклад в теорию вероятностей и функциональный анализ.
Проект GIMPS объявил об открытии нового простого числа, которое содержит на миллионы знаков больше, чем предыдущий рекордсмен.