Comment by throwaway198846

6 hours ago

Automated theorem provers can't prove this problem. Which non-trivial Math problem you think are thougher than this Erdos problem?

0 comments