테렌스 타오 "수학, 증명 과잉 위기 온다" 경고
필즈상 수상자 테렌스 타오가 AI가 만들어내는 증명이 수학계의 동료 심사 체계를 압도할 것이라 경고하며, 발표와 교육에 관한 새 규범을 제안하는 논문을 냈다.
AI 수학 관련 제품 동향과 산업 분석 2건을 모았습니다.
필즈상 수상자 테렌스 타오가 AI가 만들어내는 증명이 수학계의 동료 심사 체계를 압도할 것이라 경고하며, 발표와 교육에 관한 새 규범을 제안하는 논문을 냈다.
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.