Goldbach's conjecture | ''n''! conjecture | n! conjecture | Kato's conjecture | Calabi conjecture | Weil conjecture | ''Uncle Petros and Goldbach's Conjecture'' by Apostolos Doxiadis | Uncle Petros and Goldbach's Conjecture | Schanuel's conjecture | Pollock's conjecture | Mumford conjecture | Kepler conjecture | Heawood conjecture | Chang's conjecture | Catalan's conjecture | Blattner's conjecture | Beal's conjecture |
The second conjecture proven by Kauers, Koutschan and Zeilberger was the so-called q-TSPP conjecture, a product formula for the orbit generating function of totally symmetric plane partitions, which was formulated by George Andrews and David Robbins in the early 1980s.