MARCH 23RD, ACCORDING TO FOREIGN MEDIA, THE DECODER, FAMOUS MATHEMATICIANTao Chul-chulIt's not like we're talkingAI Technology has reduced the cost of scientific ideas to close to zero and has made theoretical validation and assessment a new bottleneck in current mathematical research。

ACCORDING TO THE REPORT, TAO CHUL-HYUN COMPARES THE IMPACT OF AI ON MATHEMATICS TO THE IMPACT OF CARS ON URBAN DEVELOPMENT。
In its view, the existing infrastructure, such as academic journals and conferences, was for human beings, who, while slow in their search for proof, could produce valuable by-products such as the accumulation of expertise and the exploration of new directions。
BY CONTRAST, AI SUPPORTING EVIDENCE, WHILE EFFICIENTLY DEDUCED FROM ASSUMPTIONS TO RESULTS, LACKS THE SUPPORTING PATHWAYS AND LOGICAL NARRATIVES REQUIRED FOR TRADITIONAL JOURNALS。
Doo Cheol-hwan is emphasizing thatAI-DRIVEN COSTS OF GENERATING SCIENTIFIC ASSUMPTIONS ARE CLOSE TO ZERO, WHICH IS SIMILAR TO THE TRAJECTORY OF THE INTERNET TO SIGNIFICANTLY REDUCE COMMUNICATION COSTS。
He made it clear that this has led to a substantial shift in the bottlenecks in scientific research: as thousands of theories can now be generated instantaneously in the face of a single scientific problem, the core challenge for the academic community has shifted from "produce the theory" to "validation and assessment of the mass theory"。
IN RESPONSE TO THE STRUCTURAL CONTRADICTIONS BROUGHT ABOUT BY THIS TECHNOLOGICAL EVOLUTION, TAO CHUL-HYUN BELIEVES THAT THE ACADEMIC COMMUNITY SHOULD NOT FORCE AI INTO THE EXISTING ACADEMIC EVALUATION SYSTEM, BUT INSTEAD SHIFT TO THE CONSTRUCTION OF A NEW MATHEMATICAL INFRASTRUCTURE FOR MACHINES。