Comment by steveklabnik

3 hours ago

https://aristotle.harmonic.fun/ is the one I've heard of previously in regards to LLMs solving previous Erdős problems.

0 comments

steveklabnik

Reply

No comments yet

Contribute on Hacker News ↗