테렌스 타오 "좋은 난제가 고갈되고 있다"
테렌스 타오는 AI 연산력이 미해결 문제를 선점 해결하면서 수학계의 난이도 구조가 무너지고 있다고 경고했다.
학계 뉴스와 분석
학계 관련 제품 동향과 산업 분석 3건을 모았습니다.
테렌스 타오 "수학, 증명 과잉 위기 온다" 경고
필즈상 수상자 테렌스 타오가 AI가 만들어내는 증명이 수학계의 동료 심사 체계를 압도할 것이라 경고하며, 발표와 교육에 관한 새 규범을 제안하는 논문을 냈다.
arXiv threatens one-year bans for unchecked AI slop
The preprint server says papers with obvious unreviewed LLM output, hallucinated citations or leftover model comments can trigger a year-long submission ban.