2026-10-11 16:37 UTC

ai-mathematical-discovery

band: coolmomentum: stable score: 0.265
temperature history

Episodes (3)

Expert review will determine whether Claude Fable produced a valid counterexample to the Jacobian Conjecture or a proof containing a substantive flaw.
expiredknownscott: medium
Expert review will determine whether GPT Sol materially assisted a valid resolution of the reported matrix-theory conjecture.
resolvedknownscott: low
Builder unexcitedneurons claims a free 7-agent OpenAI-Dots swarm improved the 47-year-old covering-number record C(24,14,4) from 19 to 20, verified by a sorry-free Lean proof that passed Palomar registry mechanical checks — expert review confirming or breaking the proof decides whether consumer-grade agent swarms now produce verified record-beating mathematics.
corroboratedconvergesscott: high