Werner Vogels

So definitely I think automatic reasoning is continue to play a more and more role in giving us a secure feeling that we are on the right path.

The same is, for example, we recently launched Cairo.

That is the spec-driven IDE with an AI system.

Yeah, we did a show on it.

We use automatic reasoning there to limit the number of hallucinations that can happen.

Not that automatic reasoning knows that terribly much more, but it knows...

a squared plus b squared c squared is probably a triangle.

And as such, it knows all the triangles in the world.

If then this LLM says this is a triangle, automatic reasoning will say, no, that is not a triangle.

And that's just a simple example.

But we start building more and more technologies to prove to ourselves that we are doing the right thing.

Yeah.

You know what my first programming languages were at school?

No.

COBOL, 68,000 assembler, and PASCAL.

None of these programming languages, anybody writes anything anymore.

Although maybe I could make money as a COBOL programmer.

I'm not too sure I'm doing well in 68,000 anymore, but things change over time.

And we as humans adapt.

we're often ahead of the game.