Get the latest tech news

Software 3.1? – AI Functions

Moving beyond Software 3.0’s generate-and-verify loop, AI Functions execute LLM-generated code at runtime, return native Python objects, and use automated post-conditions for continuous verification. This is Software 3.1: where AI doesn’t just write code—it runs it.

None

Get the Android app