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.