AI Briefing#mathematics
#mathematics와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
#mathematics와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
OpenAI가 AI 생성 수학 및 CS 증명을 공개하고 물리학 결과는 전문가 검토를 보류했다.
OpenAI의 수학 문제 해법 공개에 대해 기대와 우려가 교차하며 연구 생태계 혼란이 가중되고 있다.
Meta가 수학자들과 협력해 Muse Spark로 미해결 문제 5개를 해결한 논문 6편을 공개했다.
Terence Tao가 OpenAI 등 AI 기업의 수학 연구 자문을 위한 독립 그룹 AGMAI를 설립했다.
OpenAI가 수학 AI 모델의 급속한 난제 해결에 대응해 독립적인 수학 자문단을 구성했다.
Terence Tao 등 필즈상 수상자들이 AI의 수학 문제 해결이 학문적 통찰과 교육 과정을 훼손할 수 있다고 경고했다.
OpenAI의 수학 성과 발표 과정에서 기존 연구 인용 누락 및 ChatGPT 대화 데이터의 학습 데이터 포함 여부에 대한 수학계의 투명성 요구가 제기됐다.
OpenAI가 내부 AI 에이전트 시스템을 통해 Navier-Stokes 밀레니엄 문제를 해결했다고 발표했다.
OpenAI가 10년 이상 정체된 수학 문제 10건에 대한 결과를 공개하며 AI 생성 증명의 검증 기준 논의를 촉발했다.
Amazon의 Automated Reasoning Group이 지난 10년의 연구와 성과를 돌아봤다.
OpenAI의 모델 Sol이 수학적 반례를 생성하고 이를 Lean 코드로 자동 정식화(Autoformalization)하는 데 성공했다.
OpenAI 연구진이 GPT 5.5 Pro와 Claude Opus 4.8를 활용해 수학 및 이론 컴퓨터 과학 분야의 난제 9개를 해결했다.