Hacker News new | ask | show | jobs
Open Erdos problems solved with the help of GPT-5.6 Sol (twitter.com)
3 points by vhiremath4 5 days ago