Ben Cohen / Wall Street Journal:
University of Virginia professor Ken Ono, one of the world's most prominent mathematicians, joins AI startup Axiom Math, which is building an “AI mathematician” — Ken Ono had an epiphany. Now the professor is moving to Silicon Valley to chase mathematical superintelligence.
Posted from: this blog via Microsoft Power Automate.