#llm수학 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #llm수학, aggregated by home.social.
-
필즈상 수상자가 AI로 수학 문제 67개 풀어본 결과: 300년 난제도 개선
필즈상 수상자 테렌스 타오가 AI 도구 AlphaEvolve로 67개 수학 문제를 테스트한 결과. 75% 재발견, 20% 개선, 300년 묵은 키싱 넘버 문제도 돌파했습니다.