TREE NEWS 소식: OpenAI는 10월 27일 자사 내부 모델이 수학, 컴퓨터 과학, 물리학 분야에서 세 가지 새로운 발견을 이뤄냈다고 발표했다. 한 모델은 수백 편의 논문에서 계산 난이도 가정으로 사용되어 온 지수 시간 가설을 반증했으며, 그 결과는 Lean으로 형식화되었다. ETH 제안자인 Russell Impagliazzo와 Ramamohan Paturi가 이끌고 MIT 교수 Ryan Williams가 함께하는 팀이 이 발견을 검증할 예정이다.
OpenAI 모델, 지수 시간 가설 반증…3가지 발견 발표
관련 코인 차트
