수학 분야의 AI, 과학적 발견의 새로운 황금 시대를 열다
생성형 AI 모델이 폴 에르되시(Paul Erdős)의 유명한 기하학 그래프 가설을 해결하는 데 도움을 주었으며, 이 가설은 80년 동안 수학자들을 당혹스럽게 했던 문제였습니다. 이제 머신 러닝을 사용하여 수백만 개의 논리적 연결을 생성하고 검증하며, 환각을 방지하기 위해 Lean과 같은 대화형 정리 증명기와 함께 사용됩니다. 이는 AI가 수학에서 인간의 독창성을 대체하는 것이 아니라 증폭시키는 전환점을 의미합니다.
헝가리 수학자 폴 에르되시는 현금 상금이 걸린 수백 개의 미해결 문제를 남겼으며, 그중 하나는 기하 그래프 이론의 단위 거리 가설이었습니다. 이 가설은 본질적으로 점들의 집합에서 동일한 길이의 연결선의 최대 개수를 묻는 문제로, 거의 80년 동안 인간의 직관을 거스르는 난제였습니다. 생성 알고리즘은 인간이 간과했던 비자명한 공간 구조를 발견하여 문제를 부분적으로 해결했습니다. 오늘날 AI는 수백만 가지 조합을 열거하고 숨겨진 패턴을 찾아내는 지루한 작업을 처리하는 반면, Lean이나 Coq과 같은 대화형 정리 증명 도구는 모든 단계를 검증하여 환각을 제거합니다. 이러한 성공에도 불구하고, 리만 가설이나 나비에-스토크스 방정식과 같은 근본적인 문제는 새로운 개념적 언어가 필요하기 때문에 여전히 미해결 상태입니다. 러시아어 사용 과학계에게 이러한 계산적 전환은 강력한 수학적 전통을 활용하며, 신경망 최적화에서 양자 내성 암호에 이르는 응용 분야를 포괄합니다. AI는 인간 두뇌를 위한 디지털 외골격 역할을 하여 연구자들을 일상적인 작업에서 해방시키고, 전략적 목표와 개념적 비전에 집중할 수 있게 합니다.
출처: Habr — хаб ИИ —
원문