Smaller Models, Bigger Wins: Verify Before You Answer

Episode Summary

The industry has been conditioned to expect that better AI means more GPUs, more power, and more memory. Jason Williamson, CEO of MythWorx, is building in the opposite direction: domain-specific expert systems at a fraction of the footprint, which verify an answer before producing it rather than generating one probabilistically and asking you to check. He is careful that this is not a replacement for large language models but a complement, and he is specific about where it fits: engineering, physics, math, and the compute-constrained places where a rack of GPUs is not an option.

Key takeaways

  • The approach inverts the usual order. Rather than producing a probable answer and asking what you think, it verifies first: equations balanced, units consistent, simulators hitting their targets

  • It uses neuro-symbolic ideas plus quantum-inspired math, assembled as a mixture of solvers. The closest familiar analogy is a mixture of experts in the LLM world

  • Williamson is explicit that this is not a replacement for LLMs. He calls it a yes-and, aimed at domains where a wrong answer is worse than no answer: engineering, physics, construction, math

  • Three deployment cases: organizations that do not want to spend millions when they do not have to, edge devices like vehicles and robotics that currently need GPUs onboard, and places constrained by compute, power, budget, or heat

  • Most enterprise models already running are deterministic. Risk models, stress tests, algorithmic trading, engine simulation, supply chain prediction. The use cases are deterministic; the models are the mismatch

  • His pitch to CIOs is about position, not technology. Most are not driving innovation, they are reacting to what marketing and other functions bring them, the way public cloud arrived by credit card

About Jason Williamson

Jason Williamson is CEO of MythWorx, which builds domain-specific deterministic AI systems that verify results before producing them, at a fraction of the compute footprint of a large language model. He previously ran startups, venture, and research at Oracle, and is a United States Marine Corps veteran. He has also led mission-based and faith-based organizations, including work against human trafficking, and he spoke at the AI Realized Summit before this conversation.

 

In this episode

00:42 Welcome and guest introduction
02:41 Why more GPUs is not the only path
06:25 Where no answer beats a possibly wrong answer
06:54 Neuro-symbolic ideas and quantum-inspired math
07:48 Verifying first instead of guessing
08:53 A mixture of solvers
09:23 How you would actually buy and run it
11:01 Why the cost profile is a fraction
12:56 Why one size does not fit all
13:34 Three deployment cases
14:28 Mini data centers, power, and heat
15:17 Satellites and compute-constrained environments
16:25 What this means for a CIO or CAIO
17:25 Why most CIOs are not in the innovator seat
21:27 Getting adoption top-down and bottom-up at once
23:46 Finding a deterministic use case
23:57 Why most enterprise models already are deterministic
24:37 The next two years, and the end of experimentation
26:22 Under-resourced by design
26:56 Resources
27:49 The one thing to remember
28:52 Leadership: human connection
31:54 Wrap-up

In Jason’s words

“We’re not trying to find the answer in a probabilistic way and then saying, "Hey, what do you think of this?" We verify everything first, and then go on top of that.”

— Jason Williamson   (07:48)

“This is not a one or the other kind of scenario. We think we are a yes-and when it comes to LLMs.”

— Jason Williamson   (02:41)

“Most of the models that are being executed today are deterministic models.”

— Jason Williamson   (23:57)

“If you want to get different results, you have to do things differently. And right now, to do things differently isn’t more power, more chips, more data centers. It is do more with less.”

— Jason Williamson   (27:49)

“Safra said, "If everyone is telling you you’re crazy, you might be onto something."”

— Jason Williamson   (27:49)

 

Resources

Jason Williamson and MythWorx

Where he points listeners

  • Intel neuromorphic computing: intel.com. His recommended starting point for understanding this class of approach

  • Cerebras: cerebras.ai. Named for small compute at the edge

Concepts discussed

  • Neuro-symbolic AI: The family of approaches MythWorx builds on, combining neural and symbolic methods

  • Mixture of experts: The LLM-world analogy he offers for his mixture of solvers architecture

  • Satisfiability: Used in the verification step rather than in generating the answer

Related AI Realized episodes and events

 

Frequently Asked Questions

 
 
 
 
 
 
 
 
 
 
 
Previous
Previous

From Firefighting to Fire Prevention in IT Operations

Next
Next

The Competitive Advantage No One Is Protecting