신생 AI 검증 분야, 형식 방법론 전문성 찾아

AI 검증으로 알려진 전문 분야는 엄격한 수학적 증명을 AI 안전에 적용하기 위해 형식적 방법 전문가를 모집하고 있다. 이 이니셔티브는 특히 안전한 프로그램 합성, 명세 추출 및 대화형 정리 증명기에 전문 지식을 가진 전문가를 대상으로 한다. 커뮤니티는 이론적 검증과 실제 AI 보증 간의 격차를 해소하기 위해 해커톤과 자금 지원 요청을 조직하고 있으며, 프로그램 논문 제출 마감일은 7월 1일이다. Midspiral 및 Sequent와 같은 회사들이 웹 개발 및 실존적 위험 감소에 이러한 형식적 기술을 적용하기 위해 설립되고 있다.