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.
Read analysis LATEST COVERAGE
PAGE 2 OF 3
Latest Coverage
Fresh AI releases, production engineering guides, and independent developer-tool benchmarks.
LEAD STORY
Worth your attention
03 STORIES
More Coverage
Google AI Studio Adds Memorable ai.studio URLs for Deployed Apps
AI Studio apps can now claim a globally unique ai.studio subdomain, making prototypes easier to share while deployment still runs on Cloud Run.
China Catches a Long March 10B Booster in a Net at Sea
The Long March 10B reached orbit on its maiden flight, then returned its first stage to a sea platform using a net-capture recovery system.
Daniel Kokotajlo's Warning: Superintelligence Could Concentrate Power
A former OpenAI researcher argues that superintelligence could create a dangerous concentration of compute, expertise, and political power.
Why Enterprises Must Own Their AI Learning Loop, Not Just Their Model
Satya Nadella's AI strategy points to a durable advantage: owning the evals, feedback, context, and controls that make agents improve.