OpenAI 연구진, 왜 수학이 AGI로 가는 길인지 설명

OpenAI 연구진은 수학이 장기적이고 오류에 강한 추론, 그리고 검증 가능한 증명을 시험하기 때문에 AGI의 핵심 벤치마크가 되고 있다고 말했다.

세바스티앙 뷔벡과 어니스트 류는 LLM이 약 2년 만에 기초 산술에서 연구 수준의 수학으로 발전했다고 밝혔다.

이들은 오래된 최적화 문제를 해결하고, 출판 가능한 새로운 결과를 만들어낸 사례를 들었다.

또한 자동화된 연구자 개발 시도를 소개하면서도, 이런 도구는 여전히 훈련된 전문가가 있어야 신뢰성 있게 사용할 수 있다고 경고했다.