Tag: ai-mathematics
All the articles with the tag "ai-mathematics".
- AI Signals
Grok 4.5 Found a Candidate Counterexample on the 4-Sphere. What Is Actually Verified
A researcher says Grok 4.5 closed a five-year gap in spherical hypercontractivity. The explicit example looks promising, but review is still underway.
- AI Signals
GPT-5.6 Claims a Proof of the Cycle Double Cover Conjecture. Verification Comes Next
OpenAI published a three-page AI-generated proof of a 50-year-old graph-theory conjecture. The manuscript is public, but expert review is not complete.