AI수학
수학 비전공자가 ChatGPT 한 번으로 60년 미제를 풀었다
수학 비전공자가 ChatGPT 단 한 번의 프롬프트로 60년 미제 에르되스 문제를 풀었습니다. AI가 찾아낸 전혀 새로운 접근법과 전문가들의 반응을 소개합니다.
Written by
테런스 타오가 본 AI 수학의 함정, 아이디어는 넘치고 검증은 더 어렵다
필즈상 수학자 테런스 타오가 AI의 아이디어 생성 비용 0화와 검증 병목 문제를 자동차-도시 비유로 설명한 통찰. AI와 수학의 공존 인프라를 모색합니다.
Written by
AI가 수학자의 미발표 증명을 풀었다, First Proof 1라운드 결과와 남겨진 문제들
AI가 수학자의 미발표 보조 정리 10개 중 8개를 증명한 First Proof 벤치마크 결과. 성능 격차와 검증 문제까지 정리합니다.
Written by
