This Summer Workshop convenes DARPA-funded research teams, program officers, and Amazon science leaders to discuss the Exponentiating Mathematics (expMath) and Artificial Intelligence Quantified (AIQ) programs and surrounding topics. expMath is a multi-year initiative kicked off in 2026 to radically accelerate progress in pure mathematics by developing AI co-authors capable of proposing and proving useful abstractions, and translating between natural language proofs and formal language proofs. AIQ is a multi-year initiative kicked off in 2025 to create a mathematically rigorous theory of AI capabilities: what capabilities an AI system has, when they will or will not manifest, and why.
Hosted at Amazon's Seattle campus, this three-day workshop serves to identify applied problem areas where advances in AI-driven mathematical reasoning can directly strengthen Amazon's Automated Reasoning and Agentic AI capabilities — including code generation, formal verification, and development agents and foster collaboration between DARPA awardees, government stakeholders, and AWS scientists to surface innovation leads and accelerate the translation of foundational math-AI research into real-world impact.
Robert Joseph George, Caltech; Jaume de Dios, NYU; Shiva Kasiviswanathan,
Principal, Applied Scientist, Security Services and Observability, Amazon; Marijn
Huele, Amazon Scholar Automated Reasoning & CMU Professor
Moderator: Patrick Shafto, Program Manager, DARPA
Panel discussion exploring the frontier of AI-mathematics integration
Alex Kontorovich, Distinguished Professor Rutgers University and Amazon Scholar;
Carina Hong, Founder and CEO, Axiom Math; Remi Delmas, Principal Applied
Scientist, Amazon
Moderator: Soonho Kong, Principal Applied Scientist, AWS Mobile Applications
Discussion on the role and future of formal mathematics in AI.
We're pleased to share that we have secured a room block for conference attendees at the Sheraton Grand Seattle, located at 1400 Sixth Ave, Seattle, WA for $179 per night.
Here's how the reservation process will work:
Amazon will share the list of registered attendees, along with your check-in and check-out dates, directly with the hotel. The Sheraton will send a booking confirmation to the email address you provided during registration. Payment for hotel accommodations is your responsibility. Your confirmation email from the hotel will include cancellation policy details, including the date by which you may cancel your reservation if needed.
No action is required on your part at this time — simply watch for the confirmation from the Sheraton Grand Seattle.
If you have any questions, please don't hesitate to reach out to shburr@amazon.com. Â
