In partnership with
News of the day
1. OpenAI says its AI solved open problems in three fields, with outside experts now verifying the proofs. → Read more
2. OpenAI reportedly routes licensed partner content into ChatGPT via a priority pipeline, pre-summarized, unlike raw web scraping. → Read more
3. Thore Graepel's startup Metis Reasoning aims to apply AlphaGo's search principle to general reasoning using an explicit, checkable knowledge ledger, though no working system or benchmarks exist yet. → Read more
4. Google DeepMind unveils Genie 4, a world model adding audio and more realistic people, aimed at robotics training and creative prototyping. → Read more
Our take
Hi Dotikers!
OpenAI just dropped a claim that made the entire scientific community sit up: its internal AI models have allegedly cracked three major open problems in mathematics, computer science and physics. One of them even touches a Millennium Prize problem, the kind of question that comes with a one million dollar reward and decades of failed human attempts attached to it.
Before anyone pops the champagne, let's be clear about where we stand. These are claims, not confirmed results. OpenAI has brought in outside experts, including a Nobel laureate, to verify whether the proofs actually hold. And that verification step is everything. We have seen this movie before: last year, several AI labs announced mathematical breakthroughs that quietly deflated once specialists looked under the hood. Terence Tao himself has repeatedly warned that AI generated proofs often look convincing while hiding subtle but fatal flaws.
That said, dismissing this as pure hype would be a mistake. The trajectory is real. AI models went from struggling with high school algebra to winning gold medal level scores at the International Mathematical Olympiad in about two years. Something is genuinely shifting in how machines handle formal reasoning, and pretending otherwise is just denial with extra steps.
The most fascinating detail here is the computer science proof. If it holds, hundreds of research papers would lose their foundation overnight. Imagine spending your entire PhD on a problem, only for a chatbot to casually invalidate your bibliography before lunch.
So here is the honest take: this is probably the most important AI story of the moment, precisely because we do not know yet if it is true. If the experts confirm even one of these proofs, we enter a new era where AI becomes a genuine research collaborator. If they do not, OpenAI will have handed its critics a gift. Either way, the verdict from those reviewers matters far more than the press release.
Alex.
The AI notetaker that gets the hard words right
Your AI is only as good as what you feed it. Feed it a transcript with your product names, acronyms, and numbers spelled wrong, and you spend the afternoon hand-fixing the output.
Wispr Flow Notetaker uses your dictionary and calendar, so product names, acronyms, numbers, and uncommon names come out spelled right. It pops up when your meeting starts and captures Zoom, Google Meet, Teams, and Slack huddles with one click, no bot joining the call.
Then your meetings show up inside Claude or ChatGPT through the built-in connector. No copy paste. Try Notetaker free on Mac and Windows.
Meme of the day
