Tag: ai-mathematics

All the articles with the tag "ai-mathematics".

• AI Signals

  GPT-5.6 Cycle Double Cover Proof: What Still Needs Verification

  Updated: 22 Jul, 2026

  OpenAI published an AI-generated Cycle Double Cover proof. This critique maps the argument, likely failure points, and evidence needed for acceptance.

• AI Signals

  Grok 4.5 Found a Candidate Counterexample on the 4-Sphere. What Is Actually Verified

  13 Jul, 2026

  A researcher says Grok 4.5 closed a five-year gap in spherical hypercontractivity. The explicit example looks promising, but review is still underway.