Hacker News new | ask | show | jobs
by steveklabnik 60 days ago
https://aristotle.harmonic.fun/ is the one I've heard of previously in regards to LLMs solving previous Erdős problems.