ChatGPT credited with ideas behind 31-year-old math proof
Read original source →arxiv.org
A new paper says ChatGPT found most of the ideas and proofs behind a problem tied to efficient computer search and sampling that mathematicians couldn't finish for 31 years, with the authors mostly working to understand and explain it.
2 sources
As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machinesquantamagazine.org
For 31 years, mathematicians couldn’t finish this proof. The new paper says ChatGPT found most of the ideas and proofs behind a problem tied to efficient computer search and sampling, while the authors mostly worked to understand and explain it.arxiv.org
More stories today
ComfyUI bridge nodes connect PhotoCraft workflows
A community developer built bridge nodes linking ComfyUI and PhotoCraft, using Claude to generate the integration code. The creator notes PhotoCraft is still unfinished.
r/ComfyUI·1 hour ago
AlphaGenome: DeepMind's DNA model 30x bigger than AlphaFold
A video describes AlphaGenome as roughly 30x larger than AlphaFold, which mapped the shapes of 250,000 proteins from DNA. The clip frames the model as decoding the genome at far greater capability.
r/Singularity·1 hour ago
Neoclouds offering Nvidia GPU capacity grow 55% in under a year
One industry researcher counted over 300 neoclouds providing GPU capacity, up about 55% in less than a year. CNBC breaks down the ways companies are accessing Nvidia GPUs.
CNBC Technology·2 hours ago
Report: 1,280 third-party products embed AI, most invisible to identity stacks
The 2026 State of Agent Security Report found roughly 1,280 third-party products now embed AI, but only about 282 sit behind single sign-on — the rest never authenticate through identity infrastructure. Slack Code, launched August 2026, lets users tag a coding agent into any conversation that reads shared context and opens pull requests.
The Hacker News·2 hours ago
Talorys runs a self-hosted personal AI agent on Cloudflare's free tier
Talorys is a self-hosted personal AI agent project that runs entirely on Cloudflare's free tier, per its GitHub repo. It was posted to Hacker News by author rociiu.
Hacker News·2 hours agoPodcast: Goodfire's Eric Bigelow on how LLMs decide
Goodfire researcher Eric Bigelow joins The Cognitive Revolution to discuss mechanistic interpretability of model decision-making, covering his research into forking paths and critical tokens. He argues model reasoning works as in-context learning from sampled tokens.
YouTube·2 hours ago
OpenAI's Tibo Sottiaux: plugin recommendations driven by retention, not AEO
Tibo Sottiaux, Head of ChatGPT & Codex, said on Lenny's Podcast that retention and quality decide which plugins ChatGPT surfaces to users, not answer-engine-optimization tactics.
YouTube·3 hours ago
Grok to route queries to Claude when Claude performs better
Elon Musk's Grok bot will pick Claude over Grok when Claude is better, per The New Stack. The piece argues single-model loyalty is dead as multi-model triage becomes standard.
The New Stack·3 hours ago
