Нет преград Автоформализатор Math Inc. Гаусс завершил проект «Теорема о сильных простых числах» всего за 3 недели — задача, над которой даже Терри Tao и Алекс Конторович работали более 18 месяцев и застряли. "Мы вступаем в Золотой Век, когда каждый может призвать искусственных математиков для исследований. Поскольку проверенная математика становится полем для обучения ИИ, мы создаем машинных универсалистов, которые превзойдут человеческие ограничения — фон Нейманов цифровой эпохи."