AI agent reportedly suggested a better mathematical definition after reading a Fields medalist’s lecture

A post sharing a CGTN interview says Kontsevich gave an AI agent the text of his mathematics lecture without asking it to solve a problem. The post says the agent unexpectedly suggested what it describes as a better mathematical definition. It also says Kontsevich discussed AI beginning to contribute ideas about how mathematics should be formulated, beyond calculations and proofs.