AxiomProver라는 'AI 수학자'를 개발 중인 Axiom에 대한 기사입니다. Axiom은 이 AI가 이전에 풀리지 않았던 수학 문제 최소 4개를 해결했다고 주장합니다 (윌 나이트/와이어드).

윌 나이트 / 와이어드: AxiomProver라는 'AI 수학자'를 개발하고 있는 Axiom에 대한 기사입니다. Axiom은 이 AI가 이전에 풀리지 않았던 수학 문제 최소 4개를 해결했다고 주장합니다. Axiom은 자사의 AI가 오랫동안 해결되지 않던 여러 수학 문제의 해답을 찾았으며, 이는 이 기술의 추론 능력이 꾸준히 발전하고 있다는 신호라고 말합니다.