딥마인드 증명 에이전트, Science 게재…에르되시 문제 9개 해결
구글 딥마인드의 수학 증명 시스템 AlphaProof Nexus가 Science에 실렸다. 에르되시 문제 353개 중 9개, OEIS 추측 492개 중 44개를 증명했지만 스페인 학자들은 한계를 지적했다.
AI 수학 뉴스와 분석
AI 수학 관련 제품 동향과 산업 분석 6건을 모았습니다.
메타, 뮤즈 스파크 공동 수학 논문 6편 공개
메타가 수학자와 뮤즈 스파크의 추론 모드가 협업해 수학 논문 6편을 발표했다. 이 중 5편은 기존 미해결 문제에 답했다.
구글 AI 에이전트, 미해결 수학 난제 5개 증명
구글의 Cogentic이 Gemini로 다섯 개 미해결 문제를 진전시켰고, 전문가가 증명을 검증했다.
테렌스 타오 "좋은 난제가 고갈되고 있다"
테렌스 타오는 AI 연산력이 미해결 문제를 선점 해결하면서 수학계의 난이도 구조가 무너지고 있다고 경고했다.
테렌스 타오 "수학, 증명 과잉 위기 온다" 경고
필즈상 수상자 테렌스 타오가 AI가 만들어내는 증명이 수학계의 동료 심사 체계를 압도할 것이라 경고하며, 발표와 교육에 관한 새 규범을 제안하는 논문을 냈다.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.