No slop · no ads · daily
OpenAI published 722 manuscripts in 372 families, produced by an unreleased internal model that was posed about 4,000 open problems at roughly three hours of ChatGPT Pro compute each. Many come with Lean formalizations, but not all, and OpenAI warns that some unformalized results could have issues.
Tesla won Dutch approval for FSD, which opens the way to an EU-wide vote, and has national approvals in seven other countries. Reuters obtained hundreds of pages of correspondence showing Tesla pushing regulators to scale back their reviews, and seven traffic-safety researchers said the crash-reduction studies Tesla sent around Europe don't support its claims.
Attackers hijacked the .gh, .sl and .as country-code registries, rewrote DNS for chosen domains, and used that to pass automated domain-validation checks and get valid certificates for several Google domains and other large brands. Chrome now blocks the certificates Google found, but Google tells domain owners to watch certificate-transparency logs and to publish restrictive CAA records.
Ben Thompson says Apple's home strategy is smarter than he expected because it relies on integration with partners like LG rather than going it alone. He then turns to what Amazon should do as agent standards start to form.