야코비안 추측 반례를 AI가 찾아냈다: 90년 난제가 무너진 과정과 남은 2차원 문제
AI가 90년 가까이 풀리지 않던 야코비안 추측의 3차원 반례를 찾아냈다. 수학자가 자판기 비유로 풀어주는 반례의 의미와 여전히 남아 있는 2차원 문제, 그리고 이 결과의 저자는 누구인가라는 질문까지 정리했다.
핵심 내용 읽기 →
AI TOPIC
AI 수학 최신 뉴스와 핵심 해설
AI 수학 관련 핵심 뉴스와 활용 인사이트 7편을 최신순으로 모았습니다.
AI 정리 증명의 다음 과제, 증명 단축: 린 증명을 사람 시범 없이 절반으로 줄인 MIT 연구
MIT 박사과정 연구자가 MERL 세미나에서 발표한 형식 수학 연구를 정리했다. 린 데이터를 뽑아내는 린도조부터, 사람 시범 없이 4천 줄짜리 AI 증명을 절반으로 줄인 증명 최적화 모델까지 다룬다.
핵심 내용 읽기 →
AI와 수학 함수: 손실함수와 엔트로피, 삼각함수 위치 인코딩, 강화학습 보상함수 정리
카이스트 김정호 교수가 정답과의 거리를 줄이는 평균제곱오차와 엔트로피, 확률을 만드는 소프트맥스, 삼각함수를 쓰는 위치 인코딩과 강화학습 보상함수를 차례로 들어 AI를 통제하는 수단이 결국 수학 함수라고 설명한다.
핵심 내용 읽기 →
AI 수학 증명 논쟁 정리 — 토큰 2,000달러로 나온 결과 10건과 형식 검증의 의미
미공개 모델이 만들었다는 수학 결과 10건과 기계가 단계별로 검증한 증명서, 그리고 하루 만에 나온 경쟁 연구소의 재현 주장까지. 증명을 만드는 비용이 싸질 때 수학자의 일이 무엇으로 옮겨 가는지 짚는 해설이다.
핵심 내용 읽기 →
AI 수학 증명 벤치마크 ‘퍼스트 프루프’ 2차 결과: 미공개 난제 10개 중 7개서 근접
하버드 CMSA의 퍼스트 프루프는 인터넷에 없는 새 수학 문제로 AI 시스템을 시험한다. 2차 결과, 10문제 중 3개는 진전이 없었지만 나머지 7개서 완결·근접 풀이가 나왔다.
핵심 내용 읽기 →
퍼스트 프루프: 수학자들이 만든 AI 수학 능력 벤치마크 프로젝트 소개
하버드 CMSA가 소개한 '퍼스트 프루프'는 연구 수준의 미공개 수학 문제로 AI의 실제 증명 능력을 재는 수학자 주도 벤치마크입니다. 그 배경과 방식을 정리했습니다.
핵심 내용 읽기 →
GPT-5.6 코덱스로 수학 난제 반증하기: 3년 매달린 대수곡면 추측을 뒤집은 수학자의 이야기
한 수학자가 3년간 풀지 못한 대수곡면 관련 난제를 GPT-5.6 기반 코덱스가 제시한 새로운 아이디어로 반증했다. AI가 연구자의 사고를 어떻게 확장하고 반복적인 계산 노동을 대신하는지 잘 보여주는 사례다.
핵심 내용 읽기 →