October 27, 2026
OpenAI의 지수 시간 가설 반박: 가설 창시자에게 검증권을 넘긴 이유
OpenAI이론 컴퓨터 과학형식 검증계산 복잡도 이론
#형식 검증
5 개 글 · 모든 태그
📡 Events
October 23, 2026
Opus 5.5, 1.8억 행의 형식적 증명으로 123개 오픈소스 라이브러리 커버
형식 검증LLMAnthropic소프트웨어 공급망 보안
October 18, 2026
Lean 4.35에 탑재된 4개의 커널: 증명 검사기 자체를 기계로 증명하다
Lean형식 검증AI 코드 감사컴파일러
July 22, 2026
AI의 반례 공세: 에르되시·그로텐디크·야코비안 추측이 두 달 만에 무너졌다
AI수학Lean형식 검증
July 4, 2026
수억 명이 16년간 못 찾은 버그, 수학은 20걸음 만에 찾아냈다
SQLiteTLA+형식 검증WAL