오픈AI 80년 수학난제 해결…"AI 자율로 핵심 난제 푼 첫 사례" | 연합뉴스
'에르되시 평면 단위거리 문제' 오랜 추측 반증
수학 특화 모델 아닌 일반 범용 추론 모델 사용
An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI
오픈AI 80년 수학난제 해결…"AI 자율로 핵심 난제 푼 첫 사례" | 연합뉴스
'에르되시 평면 단위거리 문제' 오랜 추측 반증
수학 특화 모델 아닌 일반 범용 추론 모델 사용
An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI