세계적인 수학자들, 미발표 연구 문제로 AI의 자율적 문제 해결 능력 시험대에 올리다

트렌드 키워드

• 연구 수준 수학 문제 (Research-level Math Questions):

  기존에 알려진 공학적 문제나 교육용 문제가 아닌, 현재 수학 연구자들이 미처 해결하지 못했거나 논문으로 발표하지 않은 최첨단 분야의 독창적인 질문. 이러한 문제들은 단순히 방대한 훈련 데이터를 검색하거나 조합하는 것 이상의, 새로운 개념을 창출하거나 기존 프레임워크를 뛰어넘는 창의적인 접근 방식을 요구하는 것이 특징. '퍼스트 프루프' 연구진은 AI가 기존의 해답을 찾을 수 없는 환경에서 순수한 추론 능력과 독창성을 발휘하는지 테스트하기 위해 자신들이 연구 과정에서 도출했지만 아직 발표하지 않은 문제를 기여한 것

  “우리는 AI가 훈련 데이터와 온라인에서 찾을 수 있는 기존 솔루션을 넘어 얼마나 멀리 갈 수 있는지 그 한계를 이해하는 것이 목표입니다.연구 수준 수학 문제”
• 대규모 언어 모델 (LLM, Large Language Model):

  <

  방대한 양의 텍스트 데이터 세트를 학습하여 인간의 언어를 모방하고 이해하며 새로운 콘텐츠를 생성할 수 있는 인공지능 신경망 모델. 최근 챗봇 기술의 근간을 이루고 있으며, 복잡한 패턴 인식과 문맥 이해 능력을 바탕으로 다양한 작업에서 뛰어난 성능을 보이지만, 추론 능력이나 사실적 정확성(환각) 문제로 인해 수학과 같은 엄격한 논리가 필요한 분야에서는 그 효용성이 아직 검증 단계인 상황. 이 모델들은 자체적으로 새로운 개념을 발명하기보다는 학습한 내용을 조합하고 재구성하는 데 강점을 보이는 한계도 존재

  >

  1 / 15

  “저는 대규모 언어 모델이 진정으로 새로운 아이디어나 개념을 내놓는 그럴듯한 예를 본 적이 없습니다.”
• 필즈상 (Fields Medal):

  4년마다 국제수학연맹(IMU)이 수여하는, 만 40세 미만 수학자에게 주어지는 최고 권위의 상. 일반적으로 '수학계의 노벨상'으로 불리며, 수상자의 획기적인 연구 업적과 수학적 창의성을 상징. 이 상의 수상자가 직접 AI의 수학적 창의력 부족을 지적하고 테스트에 참여했다는 사실 자체가, AI가 수학계에 미치는 영향에 대한 학계의 깊은 우려와 현실적인 평가 노력을 반영

  “2014년에 수학계에서 가장 권위 있는 상인 필즈상을 수상했으며, 이 외에도 2021년에 큰 상금의 브레이크스루 상을 수상한 마틴 헤어러 박사.”
• 켄타우로스 모델 (Centaur Model):

  인간 플레이어와 인공지능 시스템이 협력하여 최고의 성과를 내는 작업 방식이나 시스템. 체스 경기에서 유래된 개념으로, 한때 인간과 컴퓨터의 조합이 컴퓨터 단독이나 인간 단독보다 강력했던 시대를 지칭. 수학 연구에서는 AI를 연상 엔진, 계산 보조 도구, 혹은 문헌 검색기로 활용하여 연구자의 능력을 확장시키는 방식으로 구현될 수 있으나, AI의 성능이 인간의 보조 없이도 완벽해지면 이 모델의 효용성은 일시적일 수 있다는 논쟁의 대상

  “가리 카스파로프는 인공지능을 이용한 인간의 판단이 인간이나 기계 단독보다 우수한 성능을 발휘할 수 있다는 점이 인정을 받고 있는, 인간-기계 협력 모델인 '켄타우로스' 모델을 개척했습니다.켄타우로스 모델”