通过做梦，他写下了近4000个公式，成为最伟大的数学家之一