Loading video...

Video Failed to Load

Go Home

Breaking: We can now prove that AI is correct. DeepProve-1 is the first production-ready zkML system to cryptographically verify a full LLM inference. Lagrange has successfully proven the inference of OpenAI’s GPT-2, moving verifiable AI from theory to production: 🧵

lagrangedev's profile picture

LAGRANGE

99,213 subscribers

249,324 views • 1 year ago •via X (Twitter)

Science & Technology
LIVE

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference. We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵
2:10

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference. We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵

LAGRANGE

1,740,846 views • 1 year ago

Lagrange is partnering with Intel to scale verifiable AI 𝗴𝗹𝗼𝗯𝗮𝗹𝗹𝘆. We're joining forces with Intel to pioneer the foundations of safe AI, merging DeepProve—the leading zkML for verifying AI outputs—with Intel's best-in-class #aicloud Learn more: 🧵
0:59

Lagrange is partnering with Intel to scale verifiable AI 𝗴𝗹𝗼𝗯𝗮𝗹𝗹𝘆. We're joining forces with Intel to pioneer the foundations of safe AI, merging DeepProve—the leading zkML for verifying AI outputs—with Intel's best-in-class #aicloud Learn more: 🧵

LAGRANGE

301,988 views • 1 year ago

Every AI product running in production depends on an inference system someone had to engineer, optimize and more. Scheduling, batching, routing, cost per token. This is a craft. The Inference Frontier Program spotlights the builders behind that work. 💡 Watch the video and nominate a team:
1:22

Every AI product running in production depends on an inference system someone had to engineer, optimize and more. Scheduling, batching, routing, cost per token. This is a craft. The Inference Frontier Program spotlights the builders behind that work. 💡 Watch the video and nominate a team:

Nebius

54,701 views • 5 months ago

Ready to experience the future of #AI? #Inferium's MVP is coming. Be among the first to: 🧠 Evaluate cutting-edge AI models ⚡ Run #inference on AI models 💰 Earn rewards & top the leaderboard Join waitlist now to secure early access and exclusive perks: #Inferium #MVP #AI #Inference
0:30

Ready to experience the future of #AI? #Inferium's MVP is coming. Be among the first to: 🧠 Evaluate cutting-edge AI models ⚡ Run #inference on AI models 💰 Earn rewards & top the leaderboard Join waitlist now to secure early access and exclusive perks: #Inferium #MVP #AI #Inference

Inferium

37,389 views • 2 years ago

If we can't prove humans are conscious, how could we prove an LLM is? That question drives this new conversation with 🐘🔗 sam.arweave.dev on digital consciousness and permanent AI. In 38 minutes, he covers: • Why consciousness may be impossible to verify • Digital twins as persistent talking biographies on Arweave Ecosystem • Deterministic GPU inference from Apus Network you can challenge and re-run • Centralized AI: The finger on the scale problem • AO: Verifiable intelligence instead of black boxes A clear look at one of the hardest questions in AI with Drew. Watch the full discussion ↓
38:30

If we can't prove humans are conscious, how could we prove an LLM is? That question drives this new conversation with 🐘🔗 sam.arweave.dev on digital consciousness and permanent AI. In 38 minutes, he covers: • Why consciousness may be impossible to verify • Digital twins as persistent talking biographies on Arweave Ecosystem • Deterministic GPU inference from Apus Network you can challenge and re-run • Centralized AI: The finger on the scale problem • AO: Verifiable intelligence instead of black boxes A clear look at one of the hardest questions in AI with Drew. Watch the full discussion ↓

ao

10,999 views • 9 months ago

AI inference is already live on UOMI Router. Access frontier open-source models through a decentralized inference network with: • Low-cost inference • OpenAI-compatible APIs • Verifiable compute • On-chain settlement Start building: And if you have idle GPUs, there's now a second way to participate. The UOMI Provider whitelist is officially open. Instead of letting your hardware sit unused, you can contribute GPU power to the UOMI Inference Network and earn from real AI demand. Join the Provider whitelist:
0:34

AI inference is already live on UOMI Router. Access frontier open-source models through a decentralized inference network with: • Low-cost inference • OpenAI-compatible APIs • Verifiable compute • On-chain settlement Start building: And if you have idle GPUs, there's now a second way to participate. The UOMI Provider whitelist is officially open. Instead of letting your hardware sit unused, you can contribute GPU power to the UOMI Inference Network and earn from real AI demand. Join the Provider whitelist:

Uomi

18,956 views • 2 months ago

Lagrange is partnering with NVIDIA to ensure that the AI revolution is 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 and 𝘀𝗮𝗳𝗲. As the only AI x Crypto company selected for the #NVIDIAInception Program, Lagrange will be developing new DeepProve use-cases with the world leader in AI compute. Learn more: 🧵
1:16

Lagrange is partnering with NVIDIA to ensure that the AI revolution is 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 and 𝘀𝗮𝗳𝗲. As the only AI x Crypto company selected for the #NVIDIAInception Program, Lagrange will be developing new DeepProve use-cases with the world leader in AI compute. Learn more: 🧵

LAGRANGE

1,762,055 views • 1 year ago

Lagrange has joined the Oracle Partner Network to bring verifiable AI to defense, aerospace, and government systems. As a part of the network, we’re building DeepProve-powered use cases on Oracle Cloud Infrastructure (OCI) sovereign and mission-cloud solutions. Learn more: 🧵
0:55

Lagrange has joined the Oracle Partner Network to bring verifiable AI to defense, aerospace, and government systems. As a part of the network, we’re building DeepProve-powered use cases on Oracle Cloud Infrastructure (OCI) sovereign and mission-cloud solutions. Learn more: 🧵

LAGRANGE

683,807 views • 9 months ago

Fireworks AI is now live on EvoSkill v1.3.0! You can now use Fireworks directly with EvoSkill to run fast inference on open models as both the evolution harness backend and the LLM scorer. Alongside Claude API and OpenRouter, Fireworks AI is now a first-class provider in EvoSkill.
0:21

Fireworks AI is now live on EvoSkill v1.3.0! You can now use Fireworks directly with EvoSkill to run fast inference on open models as both the evolution harness backend and the LLM scorer. Alongside Claude API and OpenRouter, Fireworks AI is now a first-class provider in EvoSkill.

Sentient

40,309 views • 2 months ago

2026: the year of explosive AI innovation. Fireworks AI Co-founder & CEO Lin Qiao speaks on how the massive expansion of customized inference and models is creating speed of light production to scale timelines.
0:20

2026: the year of explosive AI innovation. Fireworks AI Co-founder & CEO Lin Qiao speaks on how the massive expansion of customized inference and models is creating speed of light production to scale timelines.

NVIDIA

35,963 views • 4 months ago

Jesse Pollak on the ecosystem forming around tokenized inference "There's this really cool tokenized inference market that Venice has innovated, where they've taken inference and turned it into a token called DIEM where you can buy it and you get $1 of inference per day" "That innovation of tokenizing inference has unlocked a ton of innovation around it, where people are using that tokenized inference to do things" "There's other projects that let people sell their tokenized inference at a discount so other people can get cheaper inference and the whole system works more efficiently" "I feel like that's the first time we're really seeing the intersection of AI plus markets plus crypto and it's thanks to Venice and it's happening on Base"
1:13

Jesse Pollak on the ecosystem forming around tokenized inference "There's this really cool tokenized inference market that Venice has innovated, where they've taken inference and turned it into a token called DIEM where you can buy it and you get $1 of inference per day" "That innovation of tokenizing inference has unlocked a ton of innovation around it, where people are using that tokenized inference to do things" "There's other projects that let people sell their tokenized inference at a discount so other people can get cheaper inference and the whole system works more efficiently" "I feel like that's the first time we're really seeing the intersection of AI plus markets plus crypto and it's thanks to Venice and it's happening on Base"

Market Bubble

26,240 views • 1 month ago

🚨 BREAKING: NVIDIA JUST announced roadmap for physical AI, robotics and national-scale AI factories. Here’s a breakdown of the top important announcements: 🧵👇 1. DeepSeek R1 is now 4x faster, setting the standard for AI in inference and reasoning.
0:50

🚨 BREAKING: NVIDIA JUST announced roadmap for physical AI, robotics and national-scale AI factories. Here’s a breakdown of the top important announcements: 🧵👇 1. DeepSeek R1 is now 4x faster, setting the standard for AI in inference and reasoning.

Shruti

1,723,105 views • 1 year ago

1/ $AMD is a 10x opportunity everybody ignores. Lisa Su believes that inference will be a bigger market than training. Training is the cost center of AI workload while inference is where you make money. $AMD has an advantage here. Let me explain why: 🧵
1:05

1/ $AMD is a 10x opportunity everybody ignores. Lisa Su believes that inference will be a bigger market than training. Training is the cost center of AI workload while inference is where you make money. $AMD has an advantage here. Let me explain why: 🧵

Oguz Erkan

413,014 views • 1 year ago

THE ENGINE IS ONLINE. We have moved from theory to production. The Deluthium Synthesis Engine is now active and ready to process intent. 👉 ENTER
0:30

THE ENGINE IS ONLINE. We have moved from theory to production. The Deluthium Synthesis Engine is now active and ready to process intent. 👉 ENTER

Deluthium

31,603 views • 7 months ago

Do AI agents ask good questions? We built “Collaborative Battleship” to find out—and discovered that weaker LMs + Bayesian inference can beat GPT-5 at 1% of the cost. Paper, code & demos: Here's what we learned about building rational information-seeking agents... 🧵🔽
0:51

Do AI agents ask good questions? We built “Collaborative Battleship” to find out—and discovered that weaker LMs + Bayesian inference can beat GPT-5 at 1% of the cost. Paper, code & demos: Here's what we learned about building rational information-seeking agents... 🧵🔽

Gabe Grand

48,624 views • 10 months ago

What is AI inference engineering, why is it such an in-demand skill, and how do you break into the field? With author of Inference Engineering Philip Kiely and head of training at Baseten Charlie O'Neill 0:00: What is inference? 2:47: History of inference 4:59: Downstream effects of AI research on inference 13:54: What you'll learn from Inference Engineering 16:14: Advice for engineers transitioning into AI 19:00: Open source models driving inference growth 20:55: Specialization vs. frontier closed models 23:51: "Big Token" and the importance of open source AI 27:18: Where to get Inference Engineering
27:58

What is AI inference engineering, why is it such an in-demand skill, and how do you break into the field? With author of Inference Engineering Philip Kiely and head of training at Baseten Charlie O'Neill 0:00: What is inference? 2:47: History of inference 4:59: Downstream effects of AI research on inference 13:54: What you'll learn from Inference Engineering 16:14: Advice for engineers transitioning into AI 19:00: Open source models driving inference growth 20:55: Specialization vs. frontier closed models 23:51: "Big Token" and the importance of open source AI 27:18: Where to get Inference Engineering

Madison Kanna

119,268 views • 5 months ago

“What if the real unlock for AI x crypto is not speculation — but proving intelligence can be trusted?” Sachi Takamura / 0699.eth sits down with dcbuilder.eth ⚪️ for a deep dive into the intersection of AI and crypto, from DC’s work building the ZKML community to why zero-knowledge machine learning could become a core trust layer for AI on the internet. They break down how ZKML makes it possible to prove that a machine learning model produced a specific output from specific inputs — without forcing everyone to rerun the full computation themselves. The conversation also explores why this matters for model accountability, transparency, and verifiable AI at scale, plus the projects pushing the space forward, from Modulus Labs and Giza to EZKL and new research around proof of inference.
5:35

“What if the real unlock for AI x crypto is not speculation — but proving intelligence can be trusted?” Sachi Takamura / 0699.eth sits down with dcbuilder.eth ⚪️ for a deep dive into the intersection of AI and crypto, from DC’s work building the ZKML community to why zero-knowledge machine learning could become a core trust layer for AI on the internet. They break down how ZKML makes it possible to prove that a machine learning model produced a specific output from specific inputs — without forcing everyone to rerun the full computation themselves. The conversation also explores why this matters for model accountability, transparency, and verifiable AI at scale, plus the projects pushing the space forward, from Modulus Labs and Giza to EZKL and new research around proof of inference.

BeaconLayer

42,552 views • 13 days ago

“What if the real unlock for AI x crypto is not speculation — but proving intelligence can be trusted?” Sachi Miyasaki sits down with dcbuilder.eth ⚪️ for a deep dive into the intersection of AI and crypto, from DC’s work building the ZKML community to why zero-knowledge machine learning could become a core trust layer for AI on the internet. They break down how ZKML makes it possible to prove that a machine learning model produced a specific output from specific inputs — without forcing everyone to rerun the full computation themselves. The conversation also explores why this matters for model accountability, transparency, and verifiable AI at scale, plus the projects pushing the space forward, from Modulus Labs and Giza to EZKL and new research around proof of inference.
5:35

“What if the real unlock for AI x crypto is not speculation — but proving intelligence can be trusted?” Sachi Miyasaki sits down with dcbuilder.eth ⚪️ for a deep dive into the intersection of AI and crypto, from DC’s work building the ZKML community to why zero-knowledge machine learning could become a core trust layer for AI on the internet. They break down how ZKML makes it possible to prove that a machine learning model produced a specific output from specific inputs — without forcing everyone to rerun the full computation themselves. The conversation also explores why this matters for model accountability, transparency, and verifiable AI at scale, plus the projects pushing the space forward, from Modulus Labs and Giza to EZKL and new research around proof of inference.

BeaconLayer Podcast

73,815 views • 3 months ago

BREAKING: SambaNova Announces First Close of $1 Billion Series E at $11B Valuation Led by General Atlantic, with participation from Seligman Ventures, T. Rowe Price, & Capital Group SambaNova CEO Rodrigo Liang (Rodrigo Liang) says AI is entering a new era of "premium inference" "The world of inference is running into an economics problem." Enter: new SambaNova "SM50" "A cloud-scale RDU that allows us to deliver premium inference at significantly higher performance than you can get with GPUs, at a fraction of the cost & a fraction of the power." Why does that matter? "When you're running faster with the high-accuracy models, you can charge more at a lower cost, allowing our service providers to generate more margin." Liang says the shift is just beginning: "The world's moving into inference." And after today's funding announcement: "We're using this capital to accelerate our supply chain and make sure we can deliver the racks to customers worldwide." Full interview from Paris coming soon.
2:14

BREAKING: SambaNova Announces First Close of $1 Billion Series E at $11B Valuation Led by General Atlantic, with participation from Seligman Ventures, T. Rowe Price, & Capital Group SambaNova CEO Rodrigo Liang (Rodrigo Liang) says AI is entering a new era of "premium inference" "The world of inference is running into an economics problem." Enter: new SambaNova "SM50" "A cloud-scale RDU that allows us to deliver premium inference at significantly higher performance than you can get with GPUs, at a fraction of the cost & a fraction of the power." Why does that matter? "When you're running faster with the high-accuracy models, you can charge more at a lower cost, allowing our service providers to generate more margin." Liang says the shift is just beginning: "The world's moving into inference." And after today's funding announcement: "We're using this capital to accelerate our supply chain and make sure we can deliver the racks to customers worldwide." Full interview from Paris coming soon.

Molly O’Shea

14,162 views • 1 month ago