AI 수학 연구
“불가능할 줄 알았는데”… 대학 최고 난이도 수학 시험, AI가 12문제 완벽 증명
미국 AI 스타트업 액시엄(Axiom)이 발표한 리포트에 따르면, AI 수학 증명 시스템이 세계에서 가장 어려운 대학생 수학 대회로 꼽히는 퍼트넘(Putnam) 시험 2025년도 문제 12개를 전부…
구글, 30억 달러 투자로 965억 달러 효과 … “800년치 연구성과 단 몇달만에 달성”
A Policy Framework for Building the Future of Science with AI 전 세계 72%, AI의 과학적 혁신 기대 구글이 발표한 ‘AI와 과학의 미래를 위한…
