Gary Marcus asks for real counterarguments to OpenAI and Anthropic's math claim

GaryMarcus · x · 2026-08-04

Gary Marcus asks for substantive counterarguments after a claim that OpenAI and Anthropic had each disproved a 44-year-old mathematics conjecture, Connes' rigidity.

The quoted post argues that the conjecture matters because in quantum field theory you often observe the algebra of measurements and amplitudes, not the symmetry group directly. If different groups can generate the same observables, then the symmetry may not be recoverable from the data.

Marcus’s point is not a personal attack: he is explicitly asking for mathematical rebuttals rather than ad hominem replies.

Related event: OpenAI's Math Proof Challenged by Mathematicians(3 posts)→

Original post →

More from AGI Musings

AGI Musings channel →