오픈AI, 지수시간가설 반증 결과 공개 및 형식화

요약

오픈AI가 내부 AI 모델을 활용하여 컴퓨터 과학의 '지수시간가설'을 반증하는 알고리즘을 개발하고 이를 'Lean'이라는 도구로 형식화했다고 발표했습니다. 이 연구는 3-SAT와 같은 논리 문제의 계산 시간을 기존 가설보다 느리게 증가시키는 '준지수시간'으로 처리할 수 있음을 보여주었습니다. 다만, 오픈AI는 이 결과가 비트코인이나 이더리움 지갑의 개인키를 해독하거나 서명 체계를 깨는 것과는 무관하다고 강조했습니다. 외부 전문가 검토가 진행 중이며, MIT 교수는 현재로서는 기존 암호체계가 손상되지 않았다고 초기 설명했습니다. 오픈AI는 실제 문제 적용을 위해서는 추가 연구가 필요하다고 덧붙였습니다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다. 투자 판단의 근거로 삼기 전에 원문을 확인하세요.