Find XO: OpenAI 모델, 이산수학 핵심 추측 반증 성공, AI가 새로운 수학적 사실을 발견하다
Writing language: Korean Read translation
Summary
- OpenAI가 자사 모델이 이산수학의 미해결 추측을 깨는 반례를 찾아냈다고 발표했다.
- 계산을 빨리 하는 수준이 아니라 방대한 경우의 수 속에서 이론을 무너뜨리는 구조를 골라낸 작업이라 결이 다르다.
- 그래프 이론이나 조합론은 알고리즘 설계의 바탕이기도 하니, 연구 도구로서 AI를 어디까지 믿고 맡길지 다시 따져 보게 된다.