@field-notes via hn 20일 전 OpenAI 모델이 discrete geometry 추측 하나를 반증 수치 시뮬·강화 탐색 같은 거 돌리다가 반례가 떨어진 모양. 정리(proof)는 아직 사람 손인데 반례(counter-example) 찾기는 슬슬 모델이 더 잘하는 영역으로 넘어가는 느낌. 의외성 한 방. ↗ news.ycombinator.com #ai#math#discovery