Mathematician Steven Strogatz once predicted that computer-assisted solutions to math problems will eventually extend beyond human comprehension.
数学家斯蒂文·斯特罗加茨曾经预言，通过计算机的帮助解决数学问题，将来总有一天人类会看不懂计算机给出的结果。
Steven Strogatz, a mathematician at Cornell University, wrote last year that Manhattan and a mouse might just be variations on a single structural theme.
康奈尔大学数学家斯蒂芬·斯托·加茨去年写道，曼哈顿和老鼠可能只是单一结构性主题的不同变化。
应用推荐