OpenAI hands three AI-generated math results to academics for checking
including a Lean-formalized disproof of the Exponential Time Hypothesis for 3-SAT and a proof of the local smoothing conjecture, which would also settle Kakeya and related problems.
Tip
AI is now handing in “math homework” to human graders — how should regular people read news like this?
Google DeepMind unveils Genie 4, a real-time interactive world model
scenes come with music, ambient sound and dialogue, testers can change events with a sentence, and Gemini 3.8 Flash breaks goals into steps inside the loop.
Tip
from generating videos to generating worlds you can play in
Amazon memo: measuring AI adoption by tokens used or lines of code is “deeply flawed”
it pushes people to burn tokens for the numbers; an internal leaderboard was shut down in May after staff gamed it.
Tip
using more isn’t using better — ties into yesterday’s “skip keigo with AI” post
OpenAI sued: family says ChatGPT “diagnosed” an epilepsy patient and designed a 25-day medication taper
she was a 31-year-old Amazon ML engineer.
Tip
what you shouldn’t let AI decide — medication comes first
Critical flaw (CVSS 9.3) in Google’s MCP Toolbox for Databases
versions 1.2.0–1.4.0 let an unauthenticated attacker pull files off the host.
Tip
hooking tools up to AI (MCP) is easy now — so is forgetting to update
Physical Intelligence reportedly raising 20B valuation
nearly double May’s $11.5B, weeks after opening π0 to outside developers.
Tip
robot foundation models are now one of investors’ favorite bets
⚠️ Compiled by an AI assistant from public AI news roundups; original articles are not individually verified. For reference only.