Computation, AI and the future of mathematics

MathJax.Hub.Config({tex2jax: {inlineMath: [[‘$’,’$’], [‘\\(‘,’\\)’]]}});

Optimal stacking of oranges.

Computer tools in mathematics: From foot dragging to full embrace

The present author recalls, while in graduate school at Stanford nearly 50 years ago, hearing two senior mathematicians (including the present author’s advisor) briefly discuss some other researcher’s usage of computation in a mathematical investigation. Their comments and body language clearly indicated a profound disdain for such efforts. Indeed, the prevailing mindset at the time was “real mathematicians don’t compute.”

Some researchers at the time attempted to draw more attention to the potential of computer tools in mathematics. In the

Continue reading Computation, AI and the future of mathematics