Сегодня мы объявляем о Gauss, нашем первом агенте автоформализации, который только что завершил проект Теоремы о сильных простых числах Терри Тао и Алекса Конторовича за 3 недели — усилие, которое заняло у человеческих экспертов более 18 месяцев частичного прогресса.