액시엄, 수학 AI 기술로 AI 생성 코드 검증하는 ‘액시엄프루버’ 공개

AI가 작성한 코드를 AI로 검증하는 새로운 기술이 실리콘 밸리에서 주목받고 있다. 이번에는 수학 AI로 유명한 액시엄 매스Axiom Math가 이 분야에 도전장을 내밀었다.뉴욕 타임스는 12일현지시간 AI 코딩의 품질 저하와 버그 증가 문제가 제기되면서 이를 해결하기 위한 스타트업들이 잇달아 등장하고 있다고 보도했다.그 예로 지난 1월 카네기멜론대학교가 AI 코드 생성 기술 분석 연구를 소개했다. AI는 소프트웨어 개발 속도를 크게 높일 수 있지만, 코드 품질을 저하해 프로젝트 속도를 늦출 수 있다는 결과다.이러한 문제는