Взгляд на Axiom, которая разрабатывает AxiomProver, "математика с искусственным интеллектом", который, как утверждается, решил по меньшей мере четыре ранее нерешенные математические задачи (Уилл Найт/Wired).

Уилл Найт / Wired: Взгляд на Axiom, которая разрабатывает AxiomProver, «математика с искусственным интеллектом», которая, как утверждается, решила по меньшей мере четыре ранее нерешенные математические задачи — Axiom заявляет, что ее ИИ нашел решения нескольких давних математических задач, что является признаком неуклонного развития возможностей рассуждения технологии.