Urgent.News

What's breaking now, across thousands of outlets.

Continued

AI

Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)

We are sharing the first complete computer-checked proof of Fermat's Last Theorem. Claude worked largely autonomously over 11 days …

  • Claude AI generated 11-day proof of Fermat's Last Theorem in Lean programming language
  • Proof consists of 13 million lines of code with verification of 29,500 intermediate theorems
  • Achievement demonstrates AI-driven autoformalization can produce robust mathematical proofs

AI

PicPay Launches Anthropic Claude Integration for Banking Inquiries

Brazilian digital bank PicPay has begun rolling out an integration with Anthropic’s Claude that enables PicPay customers to check financial information in Claude by using natural-language commands. The integration with Claude will be rolled out gradually to customers on an early-access list, and it will be free to Android and iOS users…

Tech

Pre-registered SIM Cards Pose Threat to National Security, Police Assert

Linus Aleke in Abuja The Nigeria Police Force National Cybercrime Centre (NPF-NCCC) said pre-registered Subscriber Identity Module (SIM) cards sold by vendors of telecommunications companies pose…

  • Nigeria Police warn pre-registered SIM cards threaten national security.
  • 50 fake identities in circulation, used for criminal activities.
  • Telecom companies not directly involved, but urged to vet vendors.

AI

Williams-Sonoma’s AI Assistant Triples Shopper Purchases

Williams-Sonoma is putting hard numbers behind what conversational artificial intelligence can do for a retailer’s bottom line. Engagement with Olive, Williams-Sonoma’s AI shopping assistant, has risen 700% since the start of the year, and revenue tied to the tool is up 620%, Sameer Hassan, the company’s chief technology and digital…

Science

NASA Ames Fire Department Aircraft Firefighting Training

The fire department at NASA’s Ames Research Center in California’s Silicon Valley will perform training on the Moffett Federal Airfield beginning Tuesday, Sept. 8 through Friday, Sept. 11.

  • NASA Ames Research Center in California conducts aircraft firefighting training
  • Training uses propane-powered aircraft fire simulator from Sep 8-11
  • Simulated fires generate minimal smoke, flames visible to motorists
Continue reading →