← All talks

AI: Generate Solutions, Verify Faster - The New Frontier #shorts

BSides Frankfurt0:59926 viewsPublished 2025-12Watch on YouTube ↗
About this talk
Gen AI lets you generate solutions, but verification? That's still on you. Good models need fast feedback, like in a game. Cost varies with tools, data, and error tolerance. #GenAI #Verification #MachineLearning #AIModels
Show transcript [en]

Indeed, we saw this progress across many of the use cases in the past. A counter example to that is diet, right? It's uh it's something you can easily come up with, but it's very hard to verify because you see the effect of that after a couple of years are eating the right food or not. So what is important is with Genai, we see that we can outsource a generation of solutions but we can't outsource the verification of solution. very important to understand and what we need to train good proper models are mechanical verifiers which can quickly give us feedback like in a game is to sync correct or not correct and the cost of verification depends of course on a

lot of things like available tools the data you have about a specific system do you cover all the different dimensions or not or do you cover just subset of dimensions uh the expert verification of tolerance of error remember like self-driving cars you can't really tolerate Anything?