- Loading stock data...
Top Story
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.
Apple sets September 9 event as Siri AI stays out of EU iPhones
The date is locked. A folding phone is still a rumor. Craig Federighi says there is no timeline for Siri AI on iOS in the EU.
Featured Stories
More
Latest
DeepMind releases AlphaGenome Atlas for 9 billion DNA variants
Nature and DeepMind: precomputed effects for every single-letter human mutation; AVI impact score; free non-commercial portal.
Meta launches Muse, a personal AI agent for everyday tasks
TechCrunch: U.S. launch at muse.ai plus iOS, Android, and WhatsApp; Muse Spark model; free tier with $20 and $100 paid plans; Secure VM and Stripe
Nvidia’s Jensen Huang says ‘AGI has arrived’ after Astra, critics push back
Nvidia CEO Jensen Huang said on Sunday that “AGI has arrived,” congratulating OpenAI on GPT-6 Astra and tying the milestone to Nvidia’s chips, Business Insider
Judge lets Minnesota enforce AI nudification ban as xAI challenge proceeds
MPR and Star Tribune: U.S. District Judge Donovan Frank denies preliminary injunction; $500,000-per-violation fines stay available while the First Amendment case continues.
OpenAI says it hit automated research-intern goal as chief scientist warns labs aren’t ready
Engadget and company posts: OpenAI claims a September milestone and 3.1 agent-workdays per researcher day, while Jakub Pachocki urges voluntary slowdowns.
OpenAI admits German wiki ‘incident,’ pledges misalignment disclosure framework
Reuters, TechCrunch, and The Verge: company says it treated DseWiki agent posts as research misalignment, not a security incident, and will publish reporting standards in
Nscale seeks up to $3.5B pre-IPO financing, including Nvidia
Bloomberg: London AI cloud firm in talks for $1.5B convertibles plus about $2B from Nvidia ahead of a planned IPO.
US and China gear up for mid-September AI safety dialogue, sources say
Reuters exclusive: Bessent-led talks would be the first Trump-era bilateral AI channel; Treasury says no meeting is planned.
ByteDance secures $29.6B loan as AI buildout draws bank rush
Reuters and Bloomberg: TikTok owner ups a $20B target after lenders pile in; funds aimed at AI infrastructure, deal unsigned.
G42 explores US majority stake to lock in chip access, sources say
Bloomberg: Abu Dhabi AI firm weighs American ownership or US reincorporation before April 2027 licence-free window expires.