Группа энтузиастов и исследователей объявила о доказательстве точного значения для 5-го числа "Занятого бобра" (Busy Beaver).

Математики продолжают развивать революционные методы Марины Вязовской для решения задач упаковки в высоких размерностях.

Впервые большая языковая модель (LLM) была использована для открытия новых проверяемых знаний в математике, улучшив границы для проблемы Cap Set.