Hacker News new | ask | show | jobs
by throwaway198846 54 days ago
Automated theorem provers can't prove this problem. Which non-trivial Math problem you think are thougher than this Erdos problem?