Show HN: Autonomous Prover Running > 1hr

Neuro-symbolic AI proof engine. Autonomous mathematical proofs via local LLMs + Lean 4.
4 points by bneb-dev 219 days ago perqed.com 0 comments
Summary not yet generated for this article.

Original Text

Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.

Comments (0 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open