Comment by throwaway198846

4 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