News for hackers. Stuff that matters.

A comment on We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT. Parent comment

Re:We resolve a $1000 Erdős problem, with a Lean proof vibe ... by mathfan on Wednesday October 22, 2025 @08:26PM (#45676843)
Yep, I'm excited to see how AI can transform the math research workflow!
[ Parent | on HN ]

There are no comments on this comment yet.