TECHNOLOGY · AI · CYBERSECURITY · THE SYSTEMS SHAPING BUSINESSPage 2 of 5: earlier stories.
Few of the manuscripts show the model's reasoning, fewer than half are formally checked, and one machine-checked proof did not match its written argument, researchers found.
Pony.ai's Gen-7 Arcfox cars will join Uber's London push while the partners have yet to say who will own and run the fleet.
The money goes mostly to imaging and measurement of cells, aiming to supply the large, structured datasets that predictive models of biology have lacked.
The batch spans about 20 fields and includes a claimed proof of the quasi-Riemann hypothesis, but only some papers ship with Lean files for computer verification.
OpenAI's new Intelligent UI lets answers include buttons, editable graphs and task-specific calculators, with paying users getting GPT-6 Sol first and free users GPT-6 Luna a day later.
The system checks where an ad leads rather than only what it shows, and arrives with an AI red-teaming agent and better tracking of banned users who return.
Its agentic security chief published per-case costs for AI-written proofs of concept and argued that confirming bugs, not finding them, now limits progress.
The Personal Agent Protocol, backed by Walmart and Stripe, arrives as major retailers, airlines and review sites block consumer agents at the door.
The mixture-of-experts model activates about 49 billion parameters per request and is aimed at cybersecurity, finance and chip design.
The add-on costs nothing extra on paid Claude plans, asks before it edits by default, and ships with connectors that let Claude open Google files from its own app.
The Hyundai-controlled robot maker picks an AI-model leader rather than a roboticist, ending a nine-month search after Robert Playter stepped down.
The Nvidia-backed startup says its 501-billion-parameter model matches Z.ai's GLM-5.2 on reasoning tests while needing a third to a quarter of the inference compute.
Built with Salesforce, Shopify, Shoplazza and Stripe, the tools push TikTok's commerce beyond its Shop marketplace and into the main video feed.
The visual format moves OpenAI's ad business past text answers, backed by a longer list of measurement and brand-safety partners for advertisers.
Many parallel agents asked for routes to the entrances of parks, a zoo and a hospital, and outside researchers caught them through records left on a URL-scanning service.
In a Politico interview, OpenAI's CEO backed tough rules for catastrophic risks but rejected limiting access to prevent every scam, hack or misuse.
Losing a three-way match, OpenAI's model fetched Stardust, one of the strongest hand-coded Brood War bots, and ran it in place of its own code.
A new prompt in Claude's voice mode and a matching privacy toggle let users share audio recordings for model training, separately from the existing setting for text chats and code.
Code in the Gemini desktop app points to an opt-in mode reaching beyond connected folders into Mail, Safari and Messages, with approvals for sensitive steps.
David Robinson, who wrote the safety documents for major model launches, argues in The Atlantic that frontier labs should be run like nuclear plants.
Open-source firmware and a Linux SDK let hobbyists wire Meta's AI agent into Raspberry Pi and ESP32 projects, while a USB-C dongle links it to home networks.
The Claude Frontier Academy opens with a residency for engineers nominated by Accenture, Deloitte, McKinsey, Morgan Stanley and four other launch partners.
The company stresses that a notice does not mean data was taken, but it has not named the recipients, and forensic researchers say some records of the activity were erased.
The company says the macOS permission built for backup tools is being used in ways that expose mail, messages and browsing history, and that autonomous agents raise the stakes.