GasStationManager's Shortform 2024-11-04T19:38:38.216Z

Comment by GasStationManager (gasstationmanager) on GasStationManager's Shortform · 2024-11-26T02:08:40.040Z · LW · GW

Any Lean enthusiasts here? You might be interested to check out Code with Proofs: the Arena. Test your Lean skills with our coding challenges!

Code for the website is open sourced at https://github.com/GasStationManager/CodeProofTheArena

 

Comment by GasStationManager (gasstationmanager) on GasStationManager's Shortform · 2024-11-04T14:53:47.472Z · LW · GW

I have written an essay "A Proposal for Safe and Hallucination-free Coding AI" (https://gasstationmanager.github.io/ai/2024/11/04/a-proposal.html), in which I propose an open-source collaboration on a research agenda that I believe will eventually lead to coding AIs that have superhuman-level ability, are hallucination-free, and safe.

Comments are welcome!