급상승 이슈진행 중
Axiom, Stacks Project 형식 검증 완료
보도 1건출처 1곳3시간 전 업데이트
지금까지의 흐름
보도 발췌
Axiom Math는 인간이 쓴 최대 규모의 수학 문헌 중 하나인 Stacks Project를 형식 검증했다고 발표했다. 이 회사의 AI 에이전트는 약 7,654페이지 분량의 내용을 약 1,600만 줄의 Lean 코드로 변환해 컴퓨터 검증을 수행했다. Stacks Project는 2005년 Johan de Jong이 오픈소스 참고 자료로 시작한 것으로, 대수기하를 포함한 분야를 다룬다. 이 회사는 3월에 2억 달러 규모의 시리즈 A 투자를 유치했으며, Menlo Ventures가 주도했다.
TechCrunch AI 발췌
보도 타임라인
보도를 따라가며 이슈의 여러 측면을 살펴보세요.
11월 6일
- TechCrunch AIAxiom Math, 수학에서 AI 슬롭을 몰아내기 위한 노력 발표
Axiom Math는 인간이 쓴 최대 규모의 수학 문헌 중 하나인 Stacks Project를 형식 검증했다고 발표했다. 이 회사의 AI 에이전트는 약 7,654페이지 분량의 내용을 약 1,600만 줄의 Lean 코드로 변환해 컴퓨터 검증을 수행했다. Stacks Project는 2005년 Johan de Jong이 오픈소스 참고 자료로 시작한 것으로, 대수기하를 포함한 분야를 다룬다. 이 회사는 3월에 2억 달러 규모의 시리즈 A 투자를 유치했으며, Menlo Ventures가 주도했다.
이 이슈의 화제도 추이
추이를 그릴 만큼 연속 관측 데이터가 아직 부족합니다.