크리스 슈, AI로 소프트웨어 형식검증이 수년에서 수시간으로

1. 1AI 보조 형식화로 소프트웨어 형식검증 비용이 급락해 수년 작업이 수일·수시간으로 가능해지고 있다.
2. 2킬로미터 캐피털 창업자 크리스 슈는 AI가 사양서 작성과 증명 구축 병목을 자동화한다고 말한다.
3. 3그는 확신이 경제적으로 가능해지면 필연이 된다며 증명 가능 소프트웨어가 기반 인프라가 될 것으로 본다.

출처 Exec Edge 외 1곳 · 원문 보기 ↗

오늘의 AI 픽 5종목, 무료로 전부 공개합니다

숨기는 것 없이, 지난 픽의 성적표(S&P500 대비)까지 그대로 보여드립니다.

오늘의 픽 보기 →