The upper-case letter Π is used as a symbol for:
The lower-case letter π is used as a symbol for:
See also Pi (movie)
... if a human merely states the theorem to be proved, and the computer comes up with all necessary lemmas and the entire proof, that would be theorem proving. In reality, ...