AI Briefing
피드
안내
검색
EN
로그인
전체
피드·트렌딩·게시판 통합
피드
최신 뉴스
트렌딩
오픈소스·릴리즈
게시판
블로그·홍보
태그
주제별 탐색
#formal-verification
#formal-verification와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
피드
트렌딩
태그
설정
Bend 2 공개, AI 코드 규칙 위반 시 컴파일 실패하는 형식 증명 언어
PyTorchKR 읽을거리
·
2026.09.22 07시
AI로 해시 충돌 분석, 성능-보안 트레이드오프 없음 확인
Reddit
·
2026.09.21 22시
Trail of Bits, AI 에이전트로 Miden zkVM 감사 도구 구축 및 95개 형식 증명 수행
Hacker News
·
2026.09.18 13시
AI의 오류를 증명하는 프로그래밍 언어 'Bend' 공개
GeekNews
·
2026.09.18 07시
OpenAI의 Navier-Stokes 발표에 포함된 Lean 4 형식 증명
GeekNews
·
2026.09.09 21시
Anthropic, Claude로 페르마의 마지막 정리 기계 검증 증명 공개
PyTorchKR 읽을거리
·
2026.09.09 07시
LLM의 수학적 오류 해결 위한 'MathKernel' 공개… 증거 기반 검증 및 MCP 서버 지원
Hacker News
·
2026.09.07 09시
Claude Code, 오차드 문제 해결
Reddit
·
1
·
2026.09.07 08시
Claude, 페르마의 마지막 정리 11일 만에 완전 형식화… 1,300만 줄 Lean 코드 생성
Anthropic News
·
1
·
2026.09.05 06시
Palomar: Lean 검증 수학 레지스트리
Hacker News
·
2026.08.19 11시
Anthropic, AI 에이전트로 수학 연구 성과 달성
PyTorchKR 읽을거리
·
2026.08.19 09시
어려운 작업이 더 이상 어렵지 않을 때
TLDR AI
·
2026.08.17 09시
수학적 확실성의 10년: Automated Reasoning Group을 돌아보며
Amazon Science
·
2026.08.12 01시
OpenAI의 미공개 모델 Astra, 미해결 수학 문제 10개 해결
TLDR AI
·
2026.08.04 09시
SymCrypt의 Rust 암호화 검증: 표준에서 코드까지
Microsoft Research
·
2026.07.14 01시
추천
Leanstral 1.5: 모두를 위한 증명 풍요
Hacker News
·
2
·
2026.07.04 07시
Leanstral 1.5
Hacker News
·
2026.07.01 05시
EC2의 정식 검증된 '격리 엔진', 가상 머신 격리에 대한 수학적 보장 제공
Amazon Science
·
2026.06.11 00시
AI 코딩 루프를 위한 형식 검증 게이트
Hacker News
·
2026.05.21 00시
Lean 4 통계적 학습 이론 라이브러리
Reddit
·
2026.05.09 00시
Ada, 그 설계와 언어를 만든 언어
GeekNews
·
2026.04.18 07시
Nitro Isolation Engine 뒤에 있는 증명 보조기 Isabelle/HOL
Amazon Science
·
2026.04.17 22시
Lean이 프로그램의 정확성을 증명했지만, 그 안에서 버그가 발견됨
GeekNews
·
2026.04.16 01시
Lean이 이 프로그램을 올바르다고 증명했지만, 결국 버그를 찾았다
Hacker News
·
2026.04.14 09시
이전
1
2
다음
이전
1
2
다음
#formal-verification | AI Briefing