#형식 검증

2 개 글 · 모든 태그

📡 Events

July 22, 2026

AI의 반례 공세: 에르되시·그로텐디크·야코비안 추측이 두 달 만에 무너졌다

AI수학Lean형식 검증

July 4, 2026

수억 명이 16년간 못 찾은 버그, 수학은 20걸음 만에 찾아냈다

SQLiteTLA+형식 검증WAL