#ai-driven-math와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
OpenAI 모델이 80년 된 단위 거리 문제를 해결하며 이산 기하학의 주요 추측을 반증했다.