Hacker News new | ask | show | jobs
by vdupras 126 days ago
I asked the LLM whether my program was correct and it answered: you're absolutely right!
1 comments
namin 126 days ago
Ha. At least you can check the theorem statements and see that the proofs verify :)
link