And that required about 357 years of mathematics to be able to prove it, as well. With the recentish GI announcement, I'm hopeful factoring and discrete log will fall within the next decade or two, but it's likely going to involve a bunch of subtle perspective shifts on several different fronts combined with new machinery in math to show.