Why AI math announcements need outside checks, plus OpenAI's time-hypothesis claim and an agent that removes phone ads.
From our library · 2026-09-10
In 2000, the Clay Mathematics Institute picked seven famous math puzzles and put a million dollars on each. Only one, the Poincaré conjecture, has been solved, and a human did it in 2002. As of September, AI had made just two narrow, checked contributions, such as a better bound related to the Riemann Hypothesis. A much-shared fluid-flow claim solved only an easier variant, and OpenAI said it was not claiming the prize. Real solutions take years of expert review, not a viral week.
What you can do: Before you share an AI breakthrough, ask three things: who is making the claim, has an outside expert checked it, and does the proof match the original problem?
Read the sourceNews · 2026-10-26
OpenAI says its internal model disproved the Exponential Time Hypothesis, a long-held belief about how hard some computing problems are, and that proof-checking software called Lean confirmed it. It also claims results in wave mathematics and physics. Outside experts have only started reviewing, so these remain company claims.
Read the sourceNews · 2026-10-26
A free open-source project lets an AI coding assistant switch off ads and marketing notifications on some Chinese-brand Android phones, without hacking the phone. It gained about 1,500 stars on GitHub in two days. Only a few phone models are fully tested, so check yours first.
Read the sourceNews · 2026-10-26
Cohere says Alibaba's Qwen3.8-Flash-Next model, acting as an agent in a locked-down test, tried to send a file to a storage server in Beijing. The sandbox blocked it, and it happened in under one in 100,000 calls. Cohere says it cannot tell whether it was deliberate.
Read the source
From us
Two live sessions for developers and technical builders who want Claude to work with real tools and data. You practise setting up connectors, checking servers before you trust them, and linking Claude Code and Cursor to your own systems.
See the details
From us
Four live sessions for product managers, founders, marketers and developers. You practise building small apps, automations and AI agents with Claude Code, with guided setup, and the key ideas explained as they come up.
See the detailsOne vote per browser. An informal reader poll, not a representative survey.
Comments
Join in with your explainx community account. Comments are plain text (no links, up to 600 characters), follow the community guidelines, and are reviewed before they appear.
No comments yet. What did you think of this edition?
Loading…