AI가 비트코인 지갑을 연다면?

Divided by Zero에 오신 걸 환영합니다. IT테크, 스타트업 그리고 자본시장에 대한 2차적 사고를 공유합니다.

10월 6일 오픈AI가 깃허브에 수학 원고 719편을 올렸었습니다. 아직 공개하지 않은 내부 모델이 쓴 논문들이죠. 문제 하나에 평균 3시간 정도 연산을 돌렸다고 합니다.

목록에는 리만 제타 함수, 호지 추측, 원주율 같은 이름들이 올라 있습니다. 컴퓨터 과학자 스콧 애런슨은 이날을 수학 역사상 가장 큰 날 중 하나라고 말했습니다.

다만 전부 검증된 건 아닙니다. 오픈AI는 핵심 결과의 약 42%를 린(Lean)으로 형식화했다고 밝혔습니다. 린은 수학 증명이 맞는지 컴퓨터가 한 줄씩 확인해주는 도구입니다. 나머지는 사람이 읽고 판단해야 하는데, 오픈AI 스스로도 형식화하지 않은 결과에는 문제가 있을 수 있다고 인정했죠.