#autolean와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
MathCode는 자연어 수학 문제를 Lean 4 정리로 변환하고 자동으로 증명하는 터미널 기반 AI 코딩 어시스턴트다.