Simons Foundation은 AI 시대 수학 연구를 지원하기 위해 자금과 자원을 합쳐 1500만 달러 규모의 사업을 발표했다. 연구 제안, 협업과 워크숍, AI가 낸 결과의 검증 기준 등이 대상이며 Anthropic과 OpenAI도 참여한다. 별도 OpenAI 발표에서는 500만 달러 지원과 연구 도구 제공 계획을 확인했다. 전체 규모를 모두 현금 연구비로 해석하거나 AI의 증명이 이미 신뢰성 문제를 해결했다는 뜻으로 받아들여서는 안 된다.