HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by eventhelix | Hacker News Reader
Full thread
eventhelix
·
Quick question: Did AI prove the theorem in Lean 4?
View on HN
No comments yet.