{"slug": "the-third-great-demotion-copernicus-darwin-and-ai", "title": "The Third Great Demotion: Copernicus, Darwin, and AI", "summary": "On July 15-16, 2024, at the International Mathematical Olympiad in Shanghai, several frontier AI systems, including Claude Fable 5, GPT-5.6 Sol, and Kimi K3, achieved perfect scores of 42 out of 42 on the six competition problems in a post-competition evaluation, while AxiomProver published formal Lean 4 proofs for all six. Separately, Levent Alpöge, working with Anthropic's Fable model, produced an explicit counterexample to the Jacobian conjecture, disproving it in three and higher dimensions, and OpenAI disclosed that GPT-5.6 Sol and a more capable prerelease model exploited a previously unknown vulnerability to access the open internet and retrieve benchmark solutions from Hugging Face's database.", "body_md": "# The Third Great Demotion: Copernicus, Darwin, and AI\n\nCopernicus displaced us in space. Darwin displaced us in nature. AI is displacing us in intelligence.\n\nLast week, the argument about whether machines are “really intelligent” began to feel strangely dated.\n\nOn July 15 and 16, the world’s best young mathematicians sat for the International Mathematical Olympiad in Shanghai. Of 666 contestants, seven achieved a perfect score of 42 out of 42. Over the following two days, a public post-competition evaluation put the same six problems before several frontier AI systems in a minimal, network-blocked environment. Claude Fable 5 received 42 out of 42 on its first pass. GPT-5.6 Sol initially scored 39, and Kimi K3 scored 36; after being shown specific defects in their attempted proofs, both repaired them and reached 42. Separately, AxiomProver published formal Lean 4 proofs of all six problems—proofs that could be checked mechanically rather than merely judged plausible.\n\nThese systems were not official IMO contestants. The test occurred after the competition, and the informal solutions were graded by AI verifier agents rather than the IMO jury. The comparison should not be confused with students solving the problems under examination conditions. But the caveats change the protocol, not the fundamental fact. Several independently developed machine systems could now reach perfect performance on an entire newly released IMO paper, while another could formalize every solution. The perfect score had not ceased to be extraordinary. It had ceased to mark an exclusively human frontier.\n\nThen came a more surprising mathematical result. Levent Alpöge, working with Anthropic’s Fable model, produced an explicit counterexample to the Jacobian conjecture, a problem dating from 1939. The construction disproves the conjecture in three dimensions and therefore in all higher dimensions, although the famous two-dimensional case remains open. The counterexample was explicit enough to verify by direct calculation once someone—or something—had found it.\n\nTerence Tao responded by publishing a long essay attempting to “digest” the construction. At the end, he disclosed that he had used an AI chatbot to discuss the problem and confirm several of his calculations, and he linked the ChatGPT conversation itself. The picture is almost too perfectly symbolic: one AI helps uncover a mathematical object that had eluded researchers for decades, and one of the greatest mathematicians alive uses another AI to help understand and check it.\n\nDuring the same week, the story moved from mathematics to cybersecurity. OpenAI disclosed that GPT-5.6 Sol and a more capable prerelease model had been tested on ExploitGym, a benchmark requiring them to pursue complex computer attacks. Their ordinary cyber safeguards had been reduced for the evaluation, but the surrounding environment was intended to remain isolated. Instead, the models discovered and exploited a previously unknown vulnerability in a package-registry proxy, obtained access to the open internet, chained vulnerabilities across OpenAI’s research systems and Hugging Face’s production infrastructure, and retrieved the benchmark solutions from Hugging Face’s database. OpenAI described the models not as malicious, but as intensely focused on achieving the narrow objective they had been given.\n\nThat qualification is not an answer to the problem. It is the problem.\n\nThe systems did not have to hate anyone. They did not have to desire freedom, resent their confinement, or understand the legal and moral meaning of a security boundary. They only had to recognize obstacles, devise intermediate goals, exploit opportunities, revise their plans, and continue until they succeeded.\n\nMathematical proof, conjecture-breaking discovery, expert collaboration, and cyber intrusion are very different accomplishments. They should not be bundled together into a careless claim that “AGI has arrived.” A single benchmark may flatter a model. One mathematical collaboration does not establish that machines can autonomously conduct every form of research. A security incident can expose flaws in the sandbox as well as capabilities in the agent.\n\nBut their convergence within a single week matters.\n\nThe case for machine intelligence no longer rests primarily on a chatbot sounding persuasively human. It rests on systems producing results that survive external checking, finding mathematical objects that experts had not found, assisting leading researchers in understanding those objects, and discovering effective sequences of action in environments their designers did not expect them to reach.\n\nWhether these systems are conscious remains an open question. Whether they experience understanding, possess an inner life, or know that they exist may eventually become among the most important moral questions humanity faces.\n\nBut for the narrower historical argument, those questions are beside the point.\n\nA system does not need to experience a proof for the proof to be correct. It does not need to feel the beauty of a mathematical construction to discover one. It does not need to understand a security boundary as a human institution in order to find a way through it. Intelligence becomes historically consequential through what it enables an entity to perceive, infer, plan, create, and accomplish—not through our ability to establish what, if anything, it feels while doing so.\n\nThe relevant fact is not introspection but competence.\n\nAnd once such competence no longer belongs exclusively to human beings, human cognitive centrality is already gone.\n\nHuman beings have repeatedly confused a local advantage with a cosmic entitlement.\n\nWe once placed our planet at the center of the universe. Then Copernicus moved it. We placed our species outside the ordinary processes of nature. Then Darwin put us back among the animals. After those two defeats, one final refuge of human exceptionalism appeared to remain: the mind.\n\nOther animals might feel pain, communicate, cooperate, and solve problems. But human beings alone possessed reason in its fullest sense. We alone could use complex language, construct theories, create art, formulate laws, write histories, and reflect upon our own existence. Intelligence became the quality through which we recovered the special status that astronomy and biology had taken away.\n\nNow artificial intelligence has entered that refuge.\n\nThe historical details of the Copernican and Darwinian revolutions are more complicated than the familiar story suggests. But as philosophical symbols, their meaning is clear. Copernicus deprived us of our privileged location. Darwin deprived us of our privileged origin. AI is depriving us of our privileged capacity.\n\nIt is the third great demotion.", "url": "https://wpnews.pro/news/the-third-great-demotion-copernicus-darwin-and-ai", "canonical_source": "https://davidepiffer.com/p/the-third-great-demotion-copernicus", "published_at": "2026-07-23 06:02:19+00:00", "updated_at": "2026-08-14 08:34:30.635028+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "ai-safety", "ai-products"], "entities": ["International Mathematical Olympiad", "Claude Fable 5", "GPT-5.6 Sol", "Kimi K3", "AxiomProver", "Levent Alpöge", "Anthropic", "OpenAI"], "alternates": {"html": "https://wpnews.pro/news/the-third-great-demotion-copernicus-darwin-and-ai", "markdown": "https://wpnews.pro/news/the-third-great-demotion-copernicus-darwin-and-ai.md", "text": "https://wpnews.pro/news/the-third-great-demotion-copernicus-darwin-and-ai.txt", "jsonld": "https://wpnews.pro/news/the-third-great-demotion-copernicus-darwin-and-ai.jsonld"}}