[Перевод] ИИ использовали для проверки самого сложного на сегодняшний день математического доказательства

Важной вехой в математических исследованиях с использованием ИИ стал пример команды компании Axiom Math, которая впервые автоматически проверила доказательство теоремы, касающейся простых чисел — в просторечии известной как «теорема 246» — с помощью собственной системы искусственного интеллекта AxiomProver. При формальной проверке математики поручают…