Прорыв в гипотезе Франкла
Математики Джастин Гилмер и коллеги сделали первый за 40 лет существенный шаг в доказательстве гипотезы об объединении замкнутых множеств.
Математики Джастин Гилмер и коллеги сделали первый за 40 лет существенный шаг в доказательстве гипотезы об объединении замкнутых множеств.
Национальный институт стандартов (NIST) финализировал математические алгоритмы для защиты от квантовых компьютеров.
Группа энтузиастов и исследователей объявила о доказательстве точного значения для 5-го числа "Занятого бобра" (Busy Beaver).