Carnegie Mellon University는 AI와 함께 추가 수학 연구를위한 새로운 벤처를 시작합니다.

Carnegie Mellon University는 전국의 6 가지 프로그램 중 하나 인 인공 지능 지원 수학에 새로운 벤처를 만들기 위해 연방 자금을 받고 있습니다.

국립 과학 재단 (National Science Foundation)은 수학에서 컴퓨터 보조 추론 연구소를 시작하기 위해 CMU에 660 만 달러를 수여하고 있습니다. Simons Foundation은 추가 자금을 제공하고 있습니다.

이 발표는 CMU가 도널드 트럼프 대통령이 명예의 손님이었던 AI 및 에너지 정상 회담을 주최 한 지 한 달도 채되지 않습니다. 이 행사는 그와 그의 행정부가 연구와 고등 교육을위한 자금을 꺼내고 해로운 것으로 여겨지는 다른 정책을 제정 한 후 트럼프를 환영 한 혐의로 대학을 비난 한 학생, 교직원 및 정치인들로부터 항의를 이끌어 냈습니다.

그러나 연구소는 몇 년 동안 일을 해왔습니다. 자금 지원 제안은 작년 3 월 NSF에 제출되었습니다. NSF는 40 년 이상 수학 과학 연구 기관에 자금을 지원했습니다.

CMU의 수학 과학 부서를 이끌고 ICARM에 대한 제안서 작성을 도왔던 Prasad Tetali는 AI가 각 학생들의 이해에 맞는 지침을 제공함으로써 고급 수학을보다 쉽게 ​​접근 할 수 있도록 사용될 수 있기를 희망합니다.

Tetali는“따라서 이론을 증명하려는 컴퓨터 앞에 앉아있는 것처럼 보이지만 뇌에 전체 라이브러리를 가지고 있으면 상호 작용할 수 있습니다.

Tetali는 AI는 이미 알고있는 수학 문제를 해결할 수 있도록 진보했다고 말했다.

Tetali는“우리 연구소가 희망적으로 기여할 다음 도전은 연구 수준의 문제를 해결하는 것입니다. “따라서 그 상호 작용이 핵심입니다. 올바른 질문을 할 수학자가 필요합니다.”

그는이 자금은 발견 및 기초 연구에 대한 투자라고 덧붙였으므로 3 년간 파일럿 프로젝트의 가능한 최종 결과는 알려져 있지 않습니다.

사이버 보안, 금융, 공간 및 건강 관리를 포함한 다양한 과목에서 문제를 해결할 수있는 잠재력이 있습니다. 이전에 NSF가 자금을 지원 한 수학 연구는 MRI 이미징의 속도와 정확성을 향상 시켰습니다.

Tetali는 정부와 재단이 연구에 자금을 지원할 때 그 동기는 그 동기가 덜 이익 중심이라고 말했다.

“우리는 우리가 이것을 어떻게 개발하고 싶어 하는가? 우리가 실제로 이것을 개발하고 싶습니까? 기계에 가져갈 가치가있는 문제는 무엇입니까? 그리고 우리가 제품을 판매하기를 원하기 때문에 다음 세대를 소개 할 가치가있는 기술은 무엇입니까?”

그러나 Tetali는 피츠버그에 기반을 둔이 연구를 통해이 지역에 대한 새로운 신생 기업과 투자를 유치 할 수 있기를 희망합니다.