News for hackers. Stuff that matters.
Re:Ask HN: Who gets credits on big math questions solved by ... by vanuatu on Thursday July 16, 2026 @09:03PM (#48942248)
LLMs are increasingly solving math problems on their own, producing entire correct proofs

I like Cal but his takes consistently miss the slope of improvement of the technology

There are no comments on this comment yet.