Amazon Science’s cover photo
Amazon Science

Amazon Science

Research Services

Seattle, Washington 395,441 followers

The latest news and research from Amazon’s science community. #AmazonScience

About us

Amazon Science gives you insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Our scientists continue to publish, teach, and engage with the academic community, in addition to utilizing our working backwards method to enrich the way we live and work. Follow us on LinkedIn and visit our website to get a deep dive on innovation at Amazon, and explore the many ways you can engage with our scientific community. #AmazonScience

Website
https://www.amazon.science
Industry
Research Services
Company size
10,001+ employees
Headquarters
Seattle, Washington
Founded
2020
Specialties
Artificial Intelligence, Machine Learning, Computer Vision, Cloud, Economics, Sustainability, AI, ML, Conversational AI, Natural Language Processing, NLP, Robotics, Security, Privacy, Information, Knowledge Management, Operations, Scientific Research, Search, Amazon, and Alexa

Updates

  • Amazon researchers are presenting work at the Conference on Language Modeling (COLM) in San Francisco next week spanning agentic AI, LLM post-training, multi-agent systems, and automated reasoning. Stop by our booth for talks, meet-the-scientist sessions, and conversations with our team. See our accepted publications and full booth schedule: https://amzn.to/4jvZr0a

    • No alternative text description for this image
  • The 3rd Annual Amazon Fulfillment Simulation Symposium (AFSS 2026) wrapped up after two days in Bellevue, bringing together 80+ teams from 10+ countries across fulfillment, robotics, supply chain, and transportation. This year's program featured 40 oral and 68 poster presentations across four tracks: Simulation, Operations Research, Machine Learning & Data Science, and GenAI & Foundational Models, with a ~10% acceptance rate for oral presentations and ~17% for posters. Thank you to everyone who made this year's symposium possible. Looking forward to AFSS 2027.

    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
  • Getting a world model to run in real time isn't just a quality problem. It's a latency problem, a memory problem, and a hardware problem, all at once, on every forward pass. Using the Neuron Kernel Interface, Reactor and the Amazon Neuron Science team built a kernel-centric path to real-time autoregressive diffusion video generation on Trainium, directly addressing the dynamic shapes, memory access patterns, and cache management that make these workloads hard for generic compilers. A 3D-RoPE kernel that took 5 seconds now runs in 1.8 milliseconds. Cache copies dropped from 23 milliseconds to 1.9 milliseconds per layer. Crucially, the techniques they built aren't model-specific. They generalize across autoregressive diffusion models with real-time streaming requirements: https://amzn.to/4dWTwO5

    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
  • Amazon didn't set out to be a chip designer. That's what Peter DeSantis, Amazon's head of AI, chips, and quantum, shared in a fireside chat with SemiAnalysis founder Dylan Patel at AI Infra Summit. Each generation of custom silicon started with a customer workload that needed something better, and the company found itself innovating at the hardware level because that was the only way to solve the problem. Rather than optimizing for benchmarks, Amazon designs its chips using data from real workloads, so gains translate directly to what customers are running. And because the hardware is delivered through the cloud, customers get the benefits by simply launching an instance. That approach has guided every generation of Amazon's chips from Nitro to Graviton to Trainium: https://amzn.to/4xGi4SD

    • No alternative text description for this image
  • Amazon Bio Discovery developed three AI approaches to accelerate antibody drug design: MochiBind for ranking binding candidates by sequence alone, CA-MAP for predicting antibody developability properties while accounting for lab-specific batch effects, and an agent-guided design system validated experimentally on a novel cancer target. The agent-guided design system powered a validated drug development campaign that produced 46 confirmed strong binders against a desmoplastic small round cell tumor target with no prior structural or antibody data available.

    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
  • New work on ML research agents offers a concrete answer to a long-standing puzzle: why does benchmark-driven progress keep being real, even after years of iterating against the same held-out data? The answer comes down to compressibility. A model whose strategy fits into a few tokens can't be relying on memorization. Memorized data wouldn't fit. When a compressed strategy enables one model to reproduce another's performance, it's evidence that the original gains came from something structural, not from benchmark-specific tuning. Across eight datasets, 32-token prompts were sufficient for a fresh ML research agent with no access to validation data to reproduce a source agent's performance on the large majority of problems. One language-modeling strategy survived compression to 16 tokens with no loss in held-out performance. The same pipeline identified overfitting when it was deliberately induced: in 38 of 102 runs, validation-specific gains vanished after compression.

  • Amazon and Defense Advanced Research Projects Agency (DARPA) brought together more than 150 researchers from academia, government, and industry for a three-day workshop in Seattle on how AI is transforming mathematical discovery and reasoning. The program featured opening remarks from Amazon Web Services (AWS) CEO Matt Garman, a keynote from Fields Medalist Terence Tao, perspectives from the National Security Agency, lightning talks from research teams, and panels on formal verification and AI-assisted mathematical reasoning. Amazon's investment in this space goes back more than a decade – from formal verification running in production at AWS to the Lean theorem prover led by Leonardo de Moura. The company has also committed $1M in AWS credits to support the research teams doing this work. Workshops like this help connect Amazon scientists with the broader research community and push the boundaries of what's possible.

    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image
      +5
  • View organization page for Amazon Science

    395,441 followers

    Congratulations to Amazon Redshift researchers for being awarded Best Paper Runner-Up: Industrial Track at VLDB 2026 for "FastCompose: Eliminating Compilation Cold Starts in Query Execution with Composition." The work addresses a fundamental tradeoff in compilation-based query execution: when compiled code isn't cached, queries wait on compilation before any data processing begins. FastCompose resolves this by generating lightweight LLVM IR code that assembles pre-compiled operators into execution plans, cutting compilation time from seconds to milliseconds. On TPC-DS benchmarks, the approach achieves a 7x speedup, with composition and compilation yielding identical results on a single codebase. Read the paper: https://amzn.to/4qRWGIn

    • No alternative text description for this image
  • Verus verifies complex projects with thousands of lines of code and proof in the time prior tools took to verify individual functions. That speed enables an interactive development loop and lets AI agents iterate on proofs faster. Amazon has used this open-source, automated program verifier for Rust to prove correctness of key primitives in the Nitro Isolation Engine and critical internal infrastructure.

Affiliated pages

Similar pages