#AI수학
2건
시몬스 재단 1500만 달러 펀드 출범… 수학계 'AI 주도권' 지키기 나섰다
수학계가 빅테크에 휘둘리지 않으려 재단·기업과 1500만 달러 펀드를 만들었으나 규모·실효성엔 의문
오픈AI, 나비에-스토크스 증명에 '린 4' 공식 검증 동시 공개
AI가 수학 증명 검증을 7,800배 단축했지만, 수학계는 "이해 없는 도장"이라 비판한다
2건
수학계가 빅테크에 휘둘리지 않으려 재단·기업과 1500만 달러 펀드를 만들었으나 규모·실효성엔 의문
AI가 수학 증명 검증을 7,800배 단축했지만, 수학계는 "이해 없는 도장"이라 비판한다