News for hackers. Stuff that matters.

A comment on Towards Autonomous Mathematics Research. Parent comment

Re:Towards Autonomous Mathematics Research by Agingcoder on Sunday February 15, 2026 @04:47PM (#47027941)
That’s what they do usually I understand - llm generates proof in lean, and proof checker proves.
[ Parent | on HN ]

There are no comments on this comment yet.