The Exponentiating Mathematics (expMath) program aims to develop an AI co-author capable of proposing and proving useful abstractions, with the goal of radically accelerating the rate of progress in pure mathematics. The program will focus on developing AI capable of auto decomposition and auto(in)formalization, and will engage with the math and AI communities to fundamentally reshape the practice of mathematics. Key aspects of the job include: * Developing AI capable of auto decomposition and auto(in)formalization * Evaluating the AI's performance with respect to professional-level mathematics * Collaborating with the math and AI communities to advance the field of mathematics * Submitting reports and documentation as required by the agreement * Participating in regular technical meetings and providing updates on progress The scope of work includes developing a coordinated research and development program, submitting reports and documentation, and participating in regular technical meetings. The program will be managed through a consortium model, with a consortium management committee responsible for overall management and technical decision-making.