Major DARPA funding: UCLA researchers received $5 million over three years to develop AI that aids in mathematical proofs and discovery. Automating math reasoning: The ALPHA project will automate ...