Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf]files.catbox.moe4 pointsBruhdinho4 months ago