EVIDENCE REGISTER

The evidence archive

A chronological register of published signals. Source class, verification state, evidence quality and relevance remain visible before interpretation.

RelevanceAll 7+8+9+

TypeAll signals Breakthroughs

DomainAll Intelligence AI for Science Robotics Compute Synthetic Biology Energy / Fusion Advanced Materials Longevity BCI / HMI

PUBLISHED RECORDS

77 matching evidence records

76–77 / 77

20 Jul 2026AI for ScienceBreakthrough

Claude-assisted counterexample refutes the Jacobian Conjecture in dimensions n≥3

Levent Alpöge announced an explicit polynomial self-map of C^3 with constant nonzero Jacobian determinant that is not injective, refuting the Jacobian Conjecture for dimensions n≥3. Alpöge explicitly credited Claude Fable 5 with work leading to the counterexample. The result was rapidly independently checked in exact arithmetic and formally verified in Isabelle/HOL and Lean-derived work. The two-dimensional case remains open.

INDEPENDENTLY CONFIRMEDFORMAL / REPOSITORYPrimary source ↗

Relevance9.2/10evidence 98/100

08 May 2026AI for ScienceBreakthrough

ChatGPT 5.4 Pro autonomously proves and disproves two Bruhat-order conjectures

Colin Defant's revised paper on the MacNeille completion of Bruhat order proves a conjecture of Escobar, Klein and Weigandt and gives a counterexample to a conjecture of Hamaker and Reiner. The abstract states that those two results were obtained autonomously by ChatGPT 5.4 Pro and presents the paper as a case study in LLM-automated mathematical research. The underlying paper was first submitted in May and revised September 6; the recovered revision is primary-source confirmed but not independently externally reproduced.

PRIMARY CONFIRMEDPREPRINTPrimary source ↗

Relevance9.4/10evidence 89/100

Page 4 / 4

← PreviousNext →