AI와 수학 연구

OpenAI가 Navier-Stokes 방정식을 풀었다고 주장한 가운데, NYU 수학자 Buckmaster와 Anthropic 연구자 Alpagay가 선행 연구를 도용당했다고 반발하며 논란이 커지고 있다.

OpenAI의 AI가 3.5일 만에 Navier-Stokes 존재성·매끄러움 문제를 해결했다고 주장하며, AI 수학 증명의 가능성과 안전 문제를 논의한다.

OpenAI의 Astra 모델이 수학적 추론을 통해 구체적인 미해결 문제를 해결하며, AI가 수학 연구의 새로운 도구로 자리 잡고 있음을 보여준다.

AI가 수학 증명을 넘어 물리학 연구에도 실질적으로 기여하고 있으며, 물리학자들은 이를 실용적 도구로 받아들이고 있다.

AI가 수학에서 논리적 증명은 잘하지만, 직관·이론 구축·새로운 개념 창출은 아직 부족하며, 수학 공동체는 인간의 다양하고 호기심 중심의 탐구를 유지해야 한다는 주장.

AI가 2026년 여름 수학의 미해결 난제 여러 개를 연달아 반증·진전시키며 수학계에 위기감이 고조되고 있다.