오픈AI, ‘나비에-스토크스’ 이어 377개 수학 난제 새 해법 공개

AI 요약

오픈AI가 대수학과 수론, 이론컴퓨터과학, 수리논리학 등 여러 분야의 377개의 새로운 연구·증명 결과를 6일(현지시간) 깃허브에 공개했으며 일부 연구에는 아직 출시하지 않은 내부 AI 모델을 사용했다고 밝혔습니다. 오픈AI는 지난달 8일 나비에-스토크스 문제의 해법을 발표해 3차원 유체에서 유한한 시간 안에 속도가 무한히 커지는 특이점이 발생할 수 있음을 증명했으며 해당 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 중 하나로 상금 100만 달러가 걸려 있습니다. 오픈AI는 일부 결과의 검증을 아직 마치지 않았고 일부 결과에는 린(Lean) 형식 증명을 첨부했으며 검증 자료를 추가하고 발견된 오류를 수정할 계획이라고 밝혔고 학계에서는 기존 연구자들의 공로를 충분히 인정하지 않았다는 비판이 제기되었으며 트리스탄 백마스터 뉴욕대 교수는 평생 일군 연구를 가져와 마지막 마무리만 한 결과물이 다수 포함돼 있을 가능성이 높다고 지적했습니다.