Topic
Lean proof assistant
Latest news
- 15 OctSimons Foundation, Anthropic and OpenAI commit $15M to support math and AI work
The Simons Foundation announced a $15 million set of initiatives, backed by Anthropic and OpenAI, to help the mathematics community adapt to the rise of artificial intelligence. The program will fund workshops, tools and open calls to evaluate AI-assisted results, teach new tools, and shape community standards for AI use in mathematics and basic science.
Research · 1 source
Articles
No articles about Lean proof assistant yet.