오픈AI 80년 수학난제 해결 "AI 자율로 핵심 난제 푼 첫 사례" | kbc광주방송 · 먼슬리