MIT 수학 학과 연구자 David Roe와 Andrew Sutherland은 자동 정리 증명을 발전시키기 위해 AI for Math 그랜트를 수상했다. 이 그랜트는 수학적 발견을 가속화하기 위한 것으로, MIT의 다른 4명 동문들도 이 그랜트를 받았다. 이들은 인공 지능과 알고리즘을 활용하여 수학적 이론과 문제를 탐구하고 해결하는 데 초점을 맞추고 있다. 이러한 노력은 미래의 수학적 발견과 혁신을 촉진할 것으로 기대된다.

<MIT News 뉴스 본문 전체읽기>