The abc conjecture almost always – autoformalized | Heykuki News