A team of six faculty members from the University of California, Los Angeles (UCLA) has been awarded a $250,000 seed grant from the Laude Institute to develop an innovative AI system titled 'Accelerating the Queen of Sciences.' Led by Amit Sahai, the project aims to create an AI that not only solves mathematical problems but also engages in creative exploration and verification of concepts, akin to a mathematician's thought process. The team includes renowned mathematician Terence Tao, who emphasizes the potential for this AI to explore previously unattainable mathematical discoveries. The project will produce an open-source proof of concept and a benchmark suite for evaluating mathematical reasoning within six months. Following this phase, the team will compete for $10 million to establish a multi-year Moonshot lab. This initiative is part of Laude's broader mission to bridge academic AI research with real-world applications, potentially unlocking advancements across various scientific disciplines.