You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Fermat’s last theorem
A theorem is not a task. Proving it is the task. Specifying that task requires a way to check correctness and a way to define the symbols used -- i.e. a theorem proving environment, which is high KC, comparable to long proofs
No. Specifying "prove theorem X within axiom system Y" only involves specifying X, and Y. It is low KC. Fermat's last theorem is a counterexample.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
