§ feed · cluster
UCLA gets $5M DARPA grant for AI math proof tools
UCLA awarded $5M DARPA grant for ALPHA project to develop AI for automating mathematical proof synthesis and verification in domains like PDEs and number theory.
§ sources1 publication · timeline below