By Shalosh B. EKHAD
(Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger)
First Posted Nov. 18 2011
Last Update: Nov. 25, 2011.
Human mathematicians (and human editors) should follow David Bailey and Jon Borwein's advice in their recent Nov. 2011 Notices article, and check, by computer, the statements of their theorems, before they submit (and accept) them.
Added Nov. 25, 2011: The beautiful article by George Andrews, FRANK GARVAN, and Jie Liang, where they point out the Folsom-Ono error (in a too understated style to my taste) has just been posted. Strongly recommended!
Doron Zeilberger's Home Page