AI Dev 26 x SF | Marc Brooker: It's Time to Be Right

At AI Dev 26 x San Francisco, Marc Brooker from AWS argued that the future growth of Agentic AI depends more on reducing defect rates than on advancing model capabilities. He outlined a vision for the industry: Reliability Over Hype: He proposed moving from high-consequence errors toward a "low rate of low consequence defects" to make AI dependable for everyone. Correctness Tools: He highlighted AWS investments in "correct by construction" frameworks like Hydro and Cedar, alongside automated reasoning tools like Lean and Strata, to ensure code and policy accuracy. Auto-Formalization: He described using AI to turn natural language into mathematically precise specifications to prevent internal inconsistencies. Higher Standards: He called for a shift in industry culture to prioritize reliability, suggesting new benchmarks that measure the severity of failures rather than just their density.