.@Amazon and @DARPA brought together 150+ researchers in Seattle last week, with speakers including @awscloud CEO @mattsgarman, Fields Medalist @TaoistTerence, @EPrinceton Associate Professor @BorisHanin, and @NSAGov's Michael O'Hara to explore how AI is transforming mathematical discovery and reasoning.

As AI agents take on higher-stakes decisions, their actions need to be provably correct. Amazon is investing in the Lean FRO to make mathematical proof accessible to every developer: amzn.to/3RY2Dq4

What a week. #ICML2026 brought together some of the best minds in machine learning, and we were proud to be part of it. Thank you to everyone who joined us in Seoul. See you next year! @icmlconf

Only 0.7% of submissions to #ICML2026 were selected for oral presentation — and Amazon Scholar Usman Khan's research on scalable multi-agent path finding is one of them. Check out the paper: amzn.to/4gtcxKd

Consider this your green light to swing by our #ICML2026 booth today and grab swag.

If you haven't stopped by our booth yet, come find us before the #ICML2026 exhibit wraps up — more research talks and opportunities to connect with our scientists today. Full schedule: amzn.to/3SQwSPZ

Our scientists are presenting at workshops throughout #ICML2026 this week — sharing research on agentic AI, foundation models, model efficiency, and more. Explore the workshops: amzn.to/4boWhX9

Another great day ahead at #ICML2026. Stop by our booth for research talks, a chance to meet our scientists, and to explore opportunities at Amazon. Full schedule: amzn.to/4y7I4Yv

We're looking forward to connecting with the machine learning community at @icmlconf! We have talks happening at our booth all week, plus a chance to connect 1:1 with our researchers. Full schedule: amzn.to/3SBXPXA

We're open at @icmlconf! Find us at booth B207 for live demos, time with our scientists, and a chance to learn about opportunities at Amazon. #ICML2026