Aeon — An AI-native programming language
summary
Aeon is an experimental language that synthesizes code using LLMs, genetic programming and SMT solvers and then verifies results with Liquid Types; an on-laptop LLM generates a candidate (404) which the type checker accepts or rejects, looping until bounds are met. Z3-style SMT backends produce fast but low-diversity solutions while genetic programming yields diverse solutions over hours; the system generates Super Mario levels, automates AutoML pipelines with oversampling fixes, and models 84 real-world bugs where 17% use refinement types and 32% use dependent types.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 3:26AI misconceptions
- 7:47Liquid types for AI code
- 12:30AI law and trust issues
- 16:03Evolutionary explainability
- 20:03AI tools comparison
- 22:51Aeon goals
- 24:18AutoML and type checking
- 31:03Semantic verification bugs
- 33:14Drone flight plan challenges
- 35:44Takeaways and Q&A
