Strangely enough, one of the shortest math papers ever published is
another computer disproof of a long-standing conjecture, by Lander and Parkin (1966):
"A direct search on the CDC 6600 yielded
27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵
as the smallest instance in which four fifth powers sum to a fifth power. This is a counterexample to a conjecture by Euler that at least n nth powers are required to sum to an nth power, n > 2."
https://projecteuclid.org/journals/bulletin-of-the-american-...
So yeah, computers have been slaughtering math tentpoles since forever ago, but I don't think I've seen so many big ones taken down so quickly. Although if Euler had been alive when the 1966 paper was published, he might've crashed out the way Terence Tao is doing now.