AI Briefing
피드
안내
검색
EN
로그인
전체
피드·트렌딩·게시판 통합
피드
최신 뉴스
트렌딩
오픈소스·릴리즈
게시판
블로그·홍보
태그
주제별 탐색
#lean
#lean와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
피드
트렌딩
태그
설정
Trail of Bits, AI 에이전트로 Miden zkVM 감사 도구 구축 및 95개 형식 증명 수행
Hacker News
·
2026.09.18 13시
Anthropic, Claude로 페르마의 마지막 정리 기계 검증 증명 공개
PyTorchKR 읽을거리
·
2026.09.09 07시
Claude, 페르마의 마지막 정리 11일 만에 완전 형식화… 1,300만 줄 Lean 코드 생성
Anthropic News
·
1
·
2026.09.05 06시
Anthropic, Claude로 페르마의 마지막 정리 11일 만에 완전 형식화 검증 성공
Anthropic Research
·
2026.09.04 09시
어려운 작업이 더 이상 어렵지 않을 때
TLDR AI
·
2026.08.17 09시
Claude의 수학적 역량을 더 알아보기
Anthropic Research
·
2026.08.10 09시
OpenAI의 미공개 모델 Astra, 미해결 수학 문제 10개 해결
TLDR AI
·
2026.08.04 09시
수학 및 이론 컴퓨터과학의 10가지 성과
OpenAI Blog
·
2026.08.01 09시
Lean이 프로그램의 정확성을 증명했지만, 그 안에서 버그가 발견됨
GeekNews
·
2026.04.16 01시
Lean이 이 프로그램을 올바르다고 증명했지만, 결국 버그를 찾았다
Hacker News
·
2026.04.14 09시
2주 스프린트의 굴레
원티드
·
2024.04.23 20시
#lean | AI Briefing