비탈릭 부테린은 AI가 이뤄낸 수학 분야의 발전이 정형 검증(formal verification)을 실용적 수준으로 끌어올릴 수 있다고 말했다. 정형 검증은 소프트웨어가 의도한 대로 작동함을 수학적으로 증명하는 기법으로, 그동안 복잡성과 비용 탓에 널리 쓰이지 못했다. 그는 이런 발전이 개발자들이 해킹하기 더 어려운 소프트웨어를 만드는 데 실질적으로 도움을 줄 수 있다고 전망했다. AI가 공격 도구로만 쓰이는 게 아니라 방어 체계를 강화하는 방향으로도 작동할 수 있음을 시사하는 발언이다.

• •AI의 수학적 발전이 정형 검증(formal verification)을 실용적 수준으로 끌어올릴 잠재력 보유
• •정형 검증은 소프트웨어 동작을 수학적으로 증명하는 기법, 기존엔 비용·복잡성으로 제한적 활용
• •비탈릭 부테린 "AI가 해킹하기 더 어려운 소프트웨어 개발을 도울 것"이라 전망