Команда Axiom Math достигла значительного успеха, используя свою систему искусственного интеллекта AxiomProver для автоматической проверки доказательства теоремы, касающейся простых чисел. Это математическое доказательство, известное как «теорема 246», стало самым сложным, проверенным с помощью ИИ на сегодняшний день.
Процесс формальной проверки включает в себя поручение компьютеру проверить машиночитаемую версию доказательства, что позволяет ускорить и упростить процесс верификации. Однако, как показали предыдущие исследования, этот метод не дает абсолютной гарантии правильности, что подчеркивает необходимость дальнейших исследований в данной области.
Достижение Axiom Math открывает новые горизонты для применения ИИ в математике и других научных дисциплинах. Успешная проверка сложных теорем с помощью ИИ может привести к ускорению научных открытий и улучшению методов верификации, что, в свою очередь, повысит доверие к автоматизированным системам в научных исследованиях.