handwritten formal statements of famous math problems