AI Briefing
피드
안내
검색
EN
로그인
전체
피드·트렌딩·게시판 통합
피드
최신 뉴스
트렌딩
오픈소스·릴리즈
게시판
블로그·홍보
태그
주제별 탐색
#ai-mathematics
#ai-mathematics와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
피드
트렌딩
태그
설정
Claude, 페르마의 마지막 정리 11일 만에 완전 형식화… 1,300만 줄 Lean 코드 생성
Anthropic News
·
1
·
2026.09.05 06시
Claude Mythos, OpenAI의 획기적인 Erdős 문제를 '귀엽고 단순한 증명'으로 해결
TLDR AI
·
2026.05.27 03시
#ai-mathematics | AI Briefing