From Vibe Coding to Vericoding: Writing Provably bug-free Code with AI

Course Overview:

Duration: 30 min

What comes after “vibe coding”?

In this ODSC AI East 2026 session, Max Tegmark, Professor at MIT and Chairman of the Future of Life Institute, explores the shift from AI-assisted coding by intuition to “vericoding” - using AI to help write code that can be mathematically verified as bug-free.

Drawing on his work in provably safe AI and mechanistic interpretability, Max examines how verification, formal methods, and AI tools could transform software development from a trial-and-error process into one built on stronger guarantees of correctness and safety.

Watch to learn how the future of coding may move beyond fast prototyping toward reliable, trustworthy systems designed to work as intended.

From Vibe Coding to Vericoding: Writing Provably bug-free Code with AI

Instructor:

Max Tegmark

Professor doing physics & AI research at MIT

Max Tegmark is a professor doing AI and physics research at MIT as part of the Institute for Artificial Intelligence & Fundamental Interactions and the Center for Brains, Minds and Machines. He advocates for positive use of technology as chairman of the Future of Life Institute.

He is the author of over 300 publications as well as the New York Times bestsellers “Life 3.0: Being Human in the Age of Artificial Intelligence” and "Our Mathematical Universe: My Quest for the Ultimate Nature of Reality". His current AI research focuses on provably safe AI and mechanistic interpretability.

Max Tegmark, Professor doing AI and physics research at MIT

Limited Time Offer

A Sip of the Best: Sample Our Premium Content

00 Days
00 Hours
00 Minutes
00 Seconds

Unlock Premium Features with a Subscription

Live Training:

Full access to all live workshops and training sessions.
500+ Expert-Led Sessions:

Master the frontier of AI Engineering: from RAG and autonomous agents to Healthtech and Physical AI.
ODSC AI Conference Discounts:

Receive extra discounts to attend ODSC AI conferences.