AI Briefing
피드
안내
개발
검색
로그인
전체
피드·트렌딩·게시판 통합
피드
최신 뉴스
주간
주간·월간 인기
트렌딩
오픈소스·릴리즈
게시판
블로그·홍보
태그
주제별 탐색
#theorem-proving
피드
트렌딩
주간
태그
설정
Leanstral 1.5
Hacker News
·
2026.07.01 05시
OpenAI 모델, 80년 난제 반박
Reddit
·
2
·
2026.05.21 08시
아마추어가 AI로 60년 된 수학 난제를 풀었다
TLDR AI
·
2026.04.27 09시
Kimina-Prover-RL: Lean 4 정리를 위한 오픈소스 학습 파이프라인 공개
HuggingFace Blog
·
2025.08.14 21시
정리 증명 SOTA 모델 Kimina-Prover 공개
HuggingFace Blog
·
2025.07.10 21시