Ken Ono feared AI. Now he trains it

Physics Today recently published an interesting and thought-provoking Q&A with eminent mathematician Ken Ono, who recently took a leave of absence from his tenure-track position at the University of Virgina to join Axiom Math, an company developing AI tools to verify mathematical proofs. From the article’s opening paragraphs:

“Am I doing a better service to science by writing 20 more papers that only people in my field will read or by participating in this movement?” Ken Ono asked himself last year. At the time, Ono was an endowed chair at the University of Virginia. In the following months, he’d take a leave of absence from the university, move to Silicon Valley, and become the founding mathematician at an AI startup, Axiom Math.

Axiom is one of several companies focused on developing AI tools to verify mathematical proofs. In the future, similar tools could be applied to check AI-generated computer code, a potentially lucrative service now that AI tools can write lines of code faster than any human can debug them. Startups Harmonic and Math Inc as well as Google’s DeepMind are targeting similar AI-powered verification tools.

Axiom has attracted investor attention, reaching a valuation of $1.6 billion earlier this year. (Ono says that he has shares in the company and that he receives a salary that is similar to his former compensation at Virginia.) His interests, he says, are in helping researchers use AI to think in more-creative ways and across more disciplines.

The Ivy League Math Grad Who Hacked Spanish Soccer

The Wall Street Journal published a fun profile on Pellegrino Matarazzo, who once graduated from Columbia with a degree in applied mathematics and who became the first American coach to win a trophy in a top European football (soccer) league.

Here was ESPN’s article and panel discussion after Real Sociedad won the Copa del Rey.

This Musical’s Secret Weapon Is A Math Major

The Wall Street Journal recently published an interesting article (well, I found it interesting) about how “applied mathematics [is being] used to move around six different audiences in a new version of The Phantom of the Opera.” From the article’s opening paragraphs:

Simon Broucke didn’t expect to use his mathematics degree for his music assistant job at “Masquerade,” the new interactive revival of “The Phantom of the Opera” in New York.

But when “Masquerade” producers were struggling to figure out how to make it so the actors and the audience moved through the show on schedule, Broucke, 26, volunteered his background. He has dual degrees from Columbia University in music and mathematics, which uses spreadsheets and modeling to solve real-world problems.

“Masquerade” follows the point of view of the Phantom, a disfigured musical genius who lives below the Paris Opera House and is obsessed with singer Christine Daaé. Producer Randy Weiner and his wife, the director Diane Paulus, needed to get the audience in lockstep from the start to the finish of the show in just under two hours. They also needed to get all 42 actors to their spots to perform at the right time throughout the space.

This would be simple if there was only one audience. Instead there are six.

I thought this was a fun application of mathematics in an utterly unexpected context.