오픈AI 모델, 80년 된 에르되시 단위거리 추측 자율 반증… 수학계 검증 완료
오픈AI 모델이 1946년 에르되시가 제기한 이산기하학 난제를 자율적으로 반증하는 125쪽 증명서를 작성했으며, 필즈상 수상자 팀 가워스 등 수학자 9명이 검증 ...
오픈AI 모델이 1946년 에르되시가 제기한 이산기하학 난제를 자율적으로 반증하는 125쪽 증명서를 작성했으며, 필즈상 수상자 팀 가워스 등 수학자 9명이 검증 ...
STORIUM은 트렌드와 인사이트를 전하는 종합 뉴스 매체입니다. 정확성, 균형, 맥락의 편집 원칙으로 신뢰받는 뉴스를 전합니다.