Will AI Replace Mathematicians?

Alon Amit addresses the various facets of mathematics. Is it an art or a science? Both? Neither? Is it invented or discovered? Why is math that's developed for purely aesthetic reasons so often a useful tool for the real world? He likes that there are not simple, one-way answers. He challenges the listeners to post questions to Quora that surprise and delight him.

Alon Amit, prolific Quora math answerer, discusses how Artificial Intelligence might change the role of the mathematician. AI will make mathematics more efficient but it can't do math in a deep sense at present. It can't perform logical reasoning or even know if it's wrong. However, there are recent advances in proof verifiers. They may eventually be able to check complex proofs like the recent alleged proof of the ABC Conjecture.

Cindy Lawrence is the Director and CEO of the National Museum of Mathematics in New York City. She and a former math professor built it up from a grass-roots museum started by math teachers. The Museum, soon to move into a 30,000 square foot space, appeals to both those who love and hate math. Attendees learn that math is beautiful, fun, and surprising--"That's so cool!"

Veselin Jungic, teaching professor of mathematics at Simon Fraser University, introduces undergraduate math minors to contemporary math research. The focus is Ramsey theory, an area of current research activity that brings together multiple areas of math, deals with big ideas, proves complete chaos is impossible, and is built on human stories. Some students extended or corrected ongoing research. Others used their artistic talents to express the patterns of mathematics through, for example, a graphic novel or a poem.

Joseph Bennish discusses math as a "concept factory." The concept of prime numbers came from a desire to break numbers down to their simplest atoms. This simple concept led to simple questions like the twin prime conjecture that no one has been able to answer. Those questions in turn led to deep research. The concepts of new geometries grew out of failed attempts to prove that Euclid's geometry was the only geometry. Gauss' "most wonderful theorem" of surfaces led to Riemann's higher dimensional manifolds. This, combined with Minkowski's space-time geometry, led to Einstein's relativity, "the most beautiful theory of physics."

Jeanne Lazzarini tells us how a clockmaker used an egg to win the competition to build the dome of the Florence Cathedral. The Cathedral had had a huge gaping hole for a hundred years since no one knew how to build such a large dome. His solution involved the equation for a hanging chain and parallel lines that meet.

Math is in a sense the science of patterns. Alon Amit explores the question of what exactly is a pattern. A common example is the decimal digits of pi. The statement that they have no pattern seems to be either obvious or completely untrue. We explore the spectrum of pattern-ness from simple repetition to total randomness and finally answer the question about pi. We also discuss analogy, which powers mathematical exploration.

Alon Amit joins us on the antipode of Pi Day to counter the myths and mysteries of this most famous irrational number. There's nothing magical about a non-repeating string of digits. The real and profound mystery is the ubiquity of pi. It shows up in places that have nothing to do with circles, such as the sum of the reciprocals of the squares of the integers and the normal bell-shaped curve.

Kate Pearce, a post-doc researcher at UT Austin, talks about her experience teaching math in a women's prison. Her remedial college algebra students came in with negative experience in math, so she devised ways to make the topics new. The elective class called, coincidentally, The Art of Mathematics, explored parallels between math and art, infinity, algorithms, formalism, randomness and more. The students learned to think like mathematicians and gained confidence in their abilities in abstract problem solving.

Alon Amit, prolific Quora math answerer, argues that an honest representation of mathematical ideas is enough to spark interest in math. It's not necessary to exaggerate the role of math; the golden ratio does not drive the stock market, the solution of the Riemann hypothesis will not kill cryptography, and Grothendieck did not advance robotics. History and seeing the thought process and the struggle behind the tight finished proof are ways to make math compelling.