Hacker Next
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com
326 points by barthelomew 19 days ago | 175 comments