Девятое число Дедекинда стало редким примером «чистой» математики, требующей суперкомпьютерных мощностей.
AlphaEvolve доказал, что машины могут участвовать в фундаментальной науке.
Их работа открывает новую страницу в изучении арифметических последовательностей.
Удивительное достижение в сфере комбинаторики.
Процесс занял около 10 миллиардов часов процессорного времени.