#Lean

기사 4건

뉴스10월 13일

오픈AI "FFT보다 계산량 적은 알고리즘"…실제 속도는 미공개

오픈AI가 내부 연구 모델이 만든 수학 논문을 공개했다. 데이터가 많아질 때 불어나는 계산량을 기존 FFT보다 줄였다고 밝혔다. 실제 컴퓨터에서 얼마나 빨라지는지는 공개하지 않았다.

10월 12일

AI가 증명을 쓰고 검사 도구가 틀린 곳을 잡아내는 방식이다. 56년간 풀리지 않았던 문제 2개도 해결했다고 연구진은 밝혔다. 논문은 다른 연구자들의 심사를 거쳐 Science에 실렸다.

10월 8일

오픈AI가 수학 연구 결과를 공개한 다음 날 논문 3편을 철회했다. 주요 결과 719건 중 컴퓨터로 증명을 점검한 것은 300건, 약 42%다.

10월 7일

컴퓨터로 검증할 수 있는 증명과 연구 과정 자료를 GitHub에 올렸다. 결과를 만든 모델도 공개를 준비 중이라고 밝혔지만, 출시일과 가격은 밝히지 않았다.