참고X
OpenAI(오픈AI)의 난제 해결 주장, 학계 독립적 검증 프로세스 가동
AI가 해결했다고 주장한 ETH 문제에 대해 저명한 수학·컴퓨터 과학자들이 모여 독립적 검증을 시작함.
요약
OpenAI의 내부 모델이 계산 복잡도 이론의 난제인 ETH(Exponential Time Hypothesis)를 반박하는 결과를 도출했다고 주장했다. 이에 Russell Impagliazzo, Mohan Paturi와 함께 Ryan Williams는 해당 주장을 검증하기 위한 독립적인 조사단을 구성했다. 이들은 어떠한 NDA(비밀유지계약)도 체결하지 않았으며 대가 없이 검증을 진행해 그 과정을 투명하게 공개할 예정이다. 조사팀은 OpenAI에 ETH 관련 원시 데이터와 PDF, Lean 소스 코드를 즉시 공개해달라고 요청했다. 이번 검증은 AI 모델이 수학적 난제를 해결했다는 주장의 타당성을 확인하는 과정으로, 향후 관련 결과가 커뮤니티에 공유될 예정이다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @rrwilliams: An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to
원문 보기 ↗