#주식 속보

Axiom, AI 에이전트로 Stacks Project를 Lean으로 공식화

24x7 뉴스 속보

Axiom은 AI 에이전트가 대수기하학의 주요 참고서인 Stacks Project를 Lean으로 공식화했다고 밝혔다. 이를 통해 기존 인간 수학이 컴퓨터가 검증할 수 있는 코드로 전환된다.

관련 속보