- Loading stock data...
Top Story
Apple puts Siri AI on iPhone 18 Pro as Ternus debuts
CNBC live: A20 Pro 2nm chip, Siri that acts in apps, and Apple Reference Image authenticity checks.
OpenAI says AI solved Navier–Stokes Millennium problem
Company post, NYT, and New Scientist: unnamed model beyond Astra; Lean proof; Clay prize not claimed; concurrent Buckmaster–Alpöge work disputed.
ASML plans larger High-NA masks so AI data-center chips fit
Reuters: High-NA EUV currently limited by smaller masks; larger masks targeted for high-volume use, with TSMC/Samsung timelines into 2028–2030.
Anthropic says Claude formalized Fermat’s Last Theorem in Lean
Company research post: ~13M lines of Lean over 11 days; Kevin Buzzard calls it an extraordinary autoformalization achievement.
Nvidia-backed Firmus signs OpenAI as Malaysia data-center anchor
Reuters: multi-year capacity from two Malaysian sites; Firmus contracted load tops 900 MW ahead of rumoured IPO.
Anthropic walks away from ~$6B Decart acquisition talks
Bloomberg: due diligence done, no deal signed; chip-efficiency target may still collaborate. Anthropic rarely buys big ahead of IPO.
Mistral raises €3B at more than €21B valuation, Samsung leads
CNBC and Bloomberg: Series D co-led with EU Scaleup Europe Fund and PSG Equity. Paris lab nearly doubles last year’s €11.7B mark; funds models and own data centers.
Featured Stories
More
Latest
OpenAI opens GPT-Live-1 full-duplex voice model in the API
Company post + THE DECODER: full-duplex listen-and-speak API; delegates to Astra or other backends; $0.05/min voice layer.
d-Matrix plugs Raptor XPUs into Nvidia NVLink Fusion and MGX
The Register/Next Platform: Raptor XPUs on MGX with NVLink Fusion; systems eyed for Q4 2027 alongside Vera CPUs and Spectrum-X.
OpenAI launches ChatGPT for Financial Services with Astra
Reuters/CNBC: Morgan Stanley and Evercore as design partners; PitchBook, Daloopa, LSEG data for bankers and equity researchers.
Nvidia targets up to 2GW of Australian AI factory capacity by 2027
Reuters: partnerships with Firmus, CDC, NEXTDC, AirTrunk and others on DSX buildout; Australia’s current load cited at 1.6GW.
OpenAI and GSA move agencies off $1 pilots to 50% off usage
Bloomberg, GSA, and OpenAI: OneGov AI 2.0 starts Oct 1 for 27 months; $0 seat fee, 50% token discount, state/local/tribal added; Daybreak Blue for verified
Google ships Gemini desktop app for Windows with Alt+Space hotkey
The Verge and XDA: native Windows 10/11 client joins the April macOS app; Spark, Drive, Nano Banana, and Omni in the full desktop build.
OpenAI board hire warns industry not on track on loss-of-control risk
Guardian and Business Insider: Paul Christiano joins Foundation board and Safety Committee; says catastrophic risk is near-term and industry is behind.
DeepSeek launches V4.1-Flash, phases out V4-Pro
Reuters: Hangzhou lab ships smallest model in its new architecture family; company post says 552B MoE, multimodal API, and V4-Pro traffic reroutes Sept 14.
ENISA gets access to Anthropic Mythos 5 and OpenAI Astra
Reuters: European Commission says the EU cybersecurity agency is now testing Mythos 5 and GPT-6 Astra.
China’s AI chipmakers raise prices as HBM shortage bites
Reuters exclusive: Huawei Ascend 950DT indicated above 250,000 yuan (up 20–50%); Cambricon 690 up 20–30%; grey-market HBM after U.S. curbs.