https://v.daum.net/v/20240819112358749

국내서도 AI로 수학난제 증명 첫 연구...글로벌테크기업 경쟁 치열

국내 수학자들이 인공지능(AI)을 이용해 수학난제 증명에 처음으로 도전한다. 미국, 중국, 영국 등 수학과 AI 분야를 선도하는 국가들이 향후 AI가 수학 연구 방법을 완전히 바꿀 것으로 예상하며 막대한 투자를 하고 있는 가운데 국내에서도 AI를 활용한 수학난제 증명이 첫 시도되는 셈이다. AI를 활용한 수학 난제 증명은 인간의 지능과 유사하거나 그 이상의

v.daum.net

https://v.daum.net/v/20240819030337577

AI로 수학 난제 증명… 美-英-中 이어 국내서도 첫 연구 나서

게티이미지코리아 국내 수학자들이 인공지능(AI)을 이용해 수학 난제 증명에 처음으로 도전한다. 미국, 중국, 영국 등 수학과 AI 분야를 선도하는 국가들이 향후 AI가 수학 연구 방법을 완전히 바꿀 것으로 예상하며 막대한 투자를 하고 있는 가운데 국내에서도 AI를 활용한 수학 난제 증명이 처음으로 시도되는 셈이다. AI를 활용한 수학 난제 증명은 인간의

v.daum.net

https://v.daum.net/v/20240318030355147

AI가 ‘정수론’까지… 수학 난제 해결 실마리 찾을까

이규환 미국 코네티컷대 교수가 AI를 이용해 타원곡선의 새로운 패턴을 찾아냈다. 패턴 모양은 찌르레기 떼의 움직임과 비슷하다. 게티이미지코리아이규환 미국 코네티컷대 교수. 이규환 교수 제공인공지능(AI)이 상금 100만 달러(약 13억 원)가 걸린 수학 난제를 풀 실마리를 찾았다. 수학의 핵심 분야로 여겨지는 ‘정수론’ 난제 해결에서 AI가 낸 첫 성과로

v.daum.net