Tags: Mathematical-research

OpenAI, Anthropic Back $15 Million Plan to Study AI-Generated Mathematical Research

OpenAI, Anthropic and the Simons Foundation commit $15 million in funding and resources to support AI-assisted mathematics research and verification.