#formal-methods

총 1건 · 1/1 페이지

전체 24시간 7일 30일

전체 🇰🇷 한국어 본문

전체 High(60+) ⭐ Must-read(75+)

최신순 점수순

Latent Space (swyx) · 1일 전 번역 23

비공식 AI를 넘어선 확장 - 카리나 홍, 액시엄 매스

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Verified Generation and Compounding Intelligence

#ai-scaling #verified-generation #compounding-intelligence #mathematical-verification #formal-methods