AI 수학 연구
월 20달러짜리 챗GPT로 수학 난제 풀었다…’바이브 증명’의 충격적 실험
수학은 오랫동안 AI가 넘기 어려운 벽으로 여겨졌다. 논리적 완결성이 요구되는 수학 증명은 단 하나의 오류도 전체를 무효화할 수 있기 때문이다. 그런데 벨기에 브뤼셀자유대학교(Vrije Universiteit…
“불가능할 줄 알았는데”… 대학 최고 난이도 수학 시험, 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와 과학의 미래를 위한…
