르네상스 필란트로피와 XTX 마케츠는 수학에 AI와 머신 러닝을 적용하는 프로젝트를 지원하는 새로운 그랜트 프로그램인 AI for Math Fund를 출시했다고 발표했습니다. 자동 정리 증명에 초점을 맞추고 있으며, 초기에는 920만 달러의 자금이 할당됩니다. 프로젝트 자금 카테고리 및 그러한 카테고리 내의 예시 프로젝트는 다음과 같습니다. […]