## Return to Answer

1 [made Community Wiki]

As a counterpoint to gowers's devil's advocacy, I'd mention that some formulas for $\pi$ have been discovered experimentally, and in some cases we still don't know how to prove them. For example, in the paper "About a New Kind of Ramanujan-type Series" by Jesús Guillera (Experimental Mathematics 12 (2003), 507–510), the following conjecture by Gourevitch is stated: $$\sum_{n=0}^\infty \frac{1+14n+76n^2+168n^3}{2^{20n}}\binom{2n}{n}^7 = \frac{32}{\pi^3}.$$ As far as I know, this is still unproved. In principle this kind of formula should be WZ-able, but it seems to be just out of reach of current computers. And probably there ultimately does exist some "motivic explanation" as Torsten Ekedahl said, but since we don't currently know of one, I think that one answer to Qiaochu's question is, "experimental observation."
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9695830345153809, "perplexity_flag": "middle"}