Verification
주제 아카이브 • 4 건
AI 생성: 요약은 링크된 출처를 바탕으로 AI가 작성했습니다. AI 활용 방식
2026-11-04
기술
Anthropic은 AI 응답이 가중치를 노출하지 않고 주장된 모델에서 나왔는지 암호학을 사용해 검증하는 연구 프로토타입 FlashProve를 공개했다. 회사는 이 시스템이 여전히 상당한 한계를 가지고 있다고 밝혔다.
Research • The Decoder
퍼머링크
2026-10-26
기술
OpenAI는 자사의 모델이 세 가지 과학적 문제에 대해 새로운 결과를 도출했으며, 여기에는 지수 시간 가설이 거짓이라는 증거가 포함된다고 발표했습니다. 회사는 검증과 추가 연구를 위해 이러한 결과를 학계와 공유하고 있습니다.
AI 연구 • Hacker News
퍼머링크
팁
생산성
AI는 오픈소스 라이브러리에 대한 수학적 보안 증명을 생성하여 소프트웨어 검증을 강화하고 취약점을 줄일 수 있습니다.
퍼머링크
2026-10-30
투자
&Truth • Seed
AI를 활용해 정식 소프트웨어 검증을 실용화하는 데 베팅하는 스타트업 &Truth가 이 분야 스타트업 물결의 일환으로 7,000만 달러 시드 라운드와 함께 출범했다.
퍼머링크