The ABC conjecture has (still) not been proved | Dark Hacker News