Eve Bodnia

I have kids and, you know, I see it's already out there.

It's interesting.

I'm curious what's going to happen with the educational system in general and how people are going to navigate this.

You mean if somebody wants to create their own model with Kona?

Well, Aleph is just the agentic layer specifically for the parts where you need formal verification, so we use it for CodeGen.

Like it was our internal tool, which just got out and we tested on Putnam and people saw like, oh my God, it actually solves Putnam and we like made it a little bit public.

But at first it was like never meant to be the public because it was not like good to go for the actual code generation use case.

Got it.

Yeah.

It's going to be a journey for us to see.

Before we give it to just people we don't know, let's say we want to understand where the boundaries of this, like how it's scaling, what's the issues, what it's good at, what it's bad at.

And it's just for the sake of safety because you don't want to create something wild and then put out there in public and people start doing crazy things with it.

So we just want to understand, know it, and figure out what's safe.

And then we can put it out there and maybe attach API to it.

And then people could start building on top of it.

But we're not at this stage yet.

Yeah, I think that to me personally, the missing part was missing is the idea of the latency space for AI.

And latency space is something like literally like your brain latency space.

It's some part of your brain which keeps the task on the back of your mind.

And you just...