"Unbelievable, absolutely unbelievable!"
Tao Xuanzhi walked alongside his colleague Milnor from the University of California in the Hundred-year-old Lecture Hall at Yanbei University, passively receiving this sentence in his ears.
The words "unbelievable" and "extraordinary" had nearly worn his ears out.
Of course, although his reaction wasn't as intense, his heart was also in turmoil.
Since learning the problem wasn't created by Qiao Yu, but designed by an AI named July, he had repeatedly contemplated its brilliance in his mind.
It must be said, if there is indeed an AI footprint in that problem.
For instance, the knowledge points it examines are comprehensive, and the entry point for solving it was very innovative.
Just as July had summarized in the presentation, while it might not be able to create yet, it can very comprehensively and rigorously use known tools to assist mathematicians in proof and reasoning work.
