Axiom Math는 AI를 수학에서 제외하고 싶어합니다.
AI가 매주 새로운 수학 문제를 푸는 것 같습니다. 지난달에는 OpenAI만 출시됐는데 719개의 사본 현장에서 가장 어려운 문제에 대한 솔루션을 요구합니다. 컴퓨터도 확인한다 미끄러질 수 있다. 수년간 AI가 쇠퇴한 후 다음에는 수학이 나올지 궁금해지는 것이 타당합니다. 공리수학 우리는 수학이 속도를 늦추는 것이 아니라 더 확고한 기반을 유지함으로써 그러한 운명을 피할 수 있다고 확신합니다. 그 16억 달러 … 더 읽기