#proof-assistant와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
Lean 4용 첫 오픈소스 코드 에이전트 Leanstral이 형식 증명까지 겨냥해 공개됐다.
AI가 수학 증명과 논문 작성 속도를 높이지만, 교육·peer review를 흔든다.
AI Briefing