> 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”
I get the impression doing something like the title is a dream of many Chinese AI researchers, and why we [edit:see] them focusing on things like the mathematics competition datasets. I am slightly in this direction myself.
What you see on the board is presumably something relating to a maths problem they're discussing. It doesn't seem AI-related at all.
It picked up on the polynomial, then what it thought was a scheme/sheaf being defined is actually the finite field with six elements. It also misread “Thue” as “the”.
If you had corrected what it read from the board, then gave it the context that he was a number theorist now working for a company trying to get AI to work through proofs, then you may have got the correct answer that this appears to be them crafting problems on polynomial reduction to test how the LLM reasons about proof.
It was just a quick and dirty chat. A proper evaluation will consider his published research to date.
Not sure if you meant to imply otherwise, but Ken Ono is of Japanese decent.
Truly complex novel products are made in secrecy. If you announce something, you want to cash in on the hype.
Definitely
> has less bullshit
Is there a Theranos equivalent in the world of math research? I'd argue "very different flavor of bullshit", but not necessarily less of it.