#Notícias

Cursor confirmed on August 14, 2026 that it has been acquired by SpaceX. The announcement runs thirteen sentences: it talks about GPUs, cheaper models, and the horizon, and says nothing about your code. We separate what's in a primary source from what's press-only (including the $60 billion), show what actually changes in the editor (Grok 4.6 in the house pool, Claude hidden by default, the Router choosing for you), and close with a checklist for anyone who depends on Cursor in production.

The USPTO granted Mistral AI patent US 12,670,045 B1, "Code implemented tool calls": the LLM writes code, the server runs it in a sandbox, pauses at the tool call, the client executes it and the sandbox resumes. It's the programmatic tool calling the industry had already published. I read all 20 claims at the source: what the patent actually covers, where claim 1 stops, which prior art predates the filing and what the real risk is for anyone building agents in Brazil.

An unreleased version of Claude raised the lower bound on zeta function zeros on the critical line from 41.6% to 67.2%. It's not a proof of the Riemann hypothesis. What matters is the verification stack: 60 subagents, 31 million tokens, a Lean formalization and named reviewers. And that's exactly the bar missing from the 0.002% claim attributed to GPT-5.6 Sol.

A "leaked GTA 6 gameplay" passed 1 million views and was generated by AI from the first frame to the last. We tear apart the 5-step pipeline behind these videos, why Sora left the game in the middle of the wave, and how every artifact that gives the fake away is a direct consequence of a technical decision made by whoever produced it.

A month before the GPT-6 launch, OpenAI announced that an internal version of Astra solved 10 open problems in mathematics and complexity, with verifiable Lean proofs. A record of what was confirmed (Connes, Erdős, non-sofic groups, the $2,000 cost), the mathematicians' skepticism, and what circulated as rumor until the model shipped.