수학·컴퓨터과학·물리학에서 세 가지 발견 발표
OpenAI는 조화해석학, 계산복잡도론, 양자장론에서 세 가지 결과를 얻었으며 Lean 형식화 증명을 공개하거나 전문가 그룹과 검토 중이라고 밝혔습니다. 그중 ETH 반증과 양자색역학 존재 증명은 각 분야의 오래된 문제를 다루지만, 결과의 해석과 검증은 계속 진행될 예정입니다.
OpenAI는 조화해석학, 계산복잡도론, 양자장론에서 세 가지 결과를 얻었으며 Lean 형식화 증명을 공개하거나 전문가 그룹과 검토 중이라고 밝혔습니다. 그중 ETH 반증과 양자색역학 존재 증명은 각 분야의 오래된 문제를 다루지만, 결과의 해석과 검증은 계속 진행될 예정입니다.