Hacker News (curated)new | past | comments | ask | show | jobs| show hidden

Feed the LLM output into a “deterministic” verifier, problem solved. That’s how LLMs verify their new mathematical proofs with lean.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact | github