The ABC Conjecture has not been proved | Dark Hacker News