# A Proposal for Safe and Hallucination-free Coding AI

> ## Preface

## Preface

> In this essay, I propose a research agenda that I believe will eventually lead to coding AIs that have superhuman-level ability, are [hallucination](https://wiki.g15e.com/pages/Hallucination%20(AI.txt))-free, and safe. To achieve our goal will require a lot of further innovation, experimentation, and hard work. But I fully believe this is the most promising direction. (…omitted…)

https://gasstationmanager.github.io/ai/2024/11/04/a-proposal.html

## See also

- [LeanTool](https://wiki.g15e.com/pages/LeanTool.txt)