Сьогодні ми оголошуємо про Гаусса, нашого першого агента автоформалізації, який щойно завершив проект Террі Тао та Алекса Конторовича «Теорема про сильні прості числа» за 3 тижні — зусилля, на які експертам знадобилося 18+ місяців часткового прогресу.