英语新闻丨数学风暴来袭，人类天才或将迎来困境

For centuries, mathematicians have occupied the penthouse of human intelligence. Their discipline was the ultimate sanctuary of reason, where brilliance was measured not by eloquence but by irrefutable logic. On Oct 6 OpenAI delivered an unsettling message to its occupants: the machines are moving in, showing the potential and ambition to own the building.

The company unveiled full or partial solutions to 372 outstanding problems in mathematics and theoretical computer science, generating more than 700 documents. Its claims included progress on the Kakeya conjecture, important algorithms and even the formidable Riemann hypothesis. Artificial intelligence seems to be quietly trespassing on intellectual territory reserved for Fields medalists.

The reaction was a mix of astonishment, bewilderment and indignation. Timothy Gowers, a Fields medalist from the United Kingdom, likened the approaching transformation to a tsunami visible from the beach. Terence Tao, another mathematical luminary of the United States, warned of "proof indigestion", where machines produce mathematical arguments faster than humans can verify, understand or absorb them.

The Association for Human Mathematics was less restrained. In a statement criticizing OpenAI's mass release, it declared: "Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power." It urged mathematicians to stop collaborating with the company and defend research centered on human understanding.

Mathematics is not merely an industrial process for manufacturing correct answers. Its purpose is to illuminate why something is true, discover connections and develop ideas that others can understand. An opaque, hundred-page machine-generated proof may establish a result without advancing human comprehension. Worse, asking academics to scrutinize hundreds of such manuscripts transfers the costs of corporate competition to the scientific community.

OpenAI's reluctance to disclose its model, prompts and complete computational procedures compounds the problem. Some results remain unverified; others have reportedly required correction. Mathematical certainty cannot be established by a corporate press release.

Yet mathematicians should avoid mistaking today's limitations for permanent barriers. AI systems are improving at a pace that makes predicting their intellectual limits increasingly hazardous. What began as sophisticated pattern recognition has developed into sustained mathemati