I love how these raw mathematicians consider something proved when they can understand, meanwhile the computer can prove it easily just by counting a finite number of bits. What exactly would be considered proof in this case? Any explanation only mathematicians can understand?
Well, how does your proposed computer proof look like? A computer can easily calculate both sides of the equation up to say, float precision. But that's not a proof; it only tells you that both numbers are near each other!
The first thing you need to go with a series like this is prove that it converges.
Then you can take a series that is already known to converge to pi. The choice of series will mean the difference between the proof being very hard and practically impossible.
Then change that series to give 32/pi^3 instead of pi.
Then deduct a mapping between groups of n in one series and groups of n in the other series.
> the computer can prove it easily just by counting a finite number of bits
Did you miss the infinite sum there? How would you prove an infinite sum equals a transcendental number by counting finite bits? You'd have to count infinite bits.
Wouldn’t you be able to see the difference converging on zero at least? Unless it oscillates all over but seemed to average. I don’t know if the squeeze theorem applies.
