GasStationManager's Shortform

post by GasStationManager (gasstationmanager) · 2024-11-04T19:38:38.216Z · LW · GW · 2 comments

Contents

2 comments

2 comments

Comments sorted by top scores.

comment by GasStationManager (gasstationmanager) · 2024-11-26T02:08:40.040Z · LW(p) · GW(p)

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) · 2024-11-04T14:53:47.472Z · LW(p) · GW(p)

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!