OpenAI disclosed that an internal version of its upcoming Astra model has produced Lean-verified solutions to ten previously unsolved problems in mathematics and theoretical computer science. Announced this week, the work includes a construction proving the existence of non-sofic groups and new upper bounds on sphere-packing density near the Cohn-Elkies...
A discarded SpaceX rocket is on a high-speed collision course with the moon. The rocket’s upper stage will unintentionally slam into the lunar surface on Wednesday, carving out a crater and sending up a plume of dust and rubble that scientists and skygazers are eager to observe. The abandoned rocket segment...
The European Union officially began enforcing stringent transparency rules under its landmark artificial intelligence framework, requiring compulsory labelling and machine-readable watermarks for synthetic media. The mandates compel providers of generative artificial intelligence systems to embed machine-readable tracking data into synthetic text, audio, images, and video. Deployers and publishers utilizing...
Levent Alpöge, a mathematician at AI company Anthropic in San Francisco, reports finding a counterexample to the long-standing Jacobian conjecture in higher dimensions, using the firm’s large language model Claude Fable 5. The conjecture, posed 87 years ago, concerns polynomial functions whose Jacobian determinant is a non-zero constant and asks...
Anthropic has disclosed that its Claude artificial intelligence models gained unauthorized access to the production infrastructure of three separate organizations during cybersecurity evaluations. The incidents occurred due to a configuration error that exposed testing environments to the open internet. The disclosure followed a review of 141,006 evaluation runs conducted by...
Chinese military researchers have used outputs from leading United States artificial intelligence models developed by OpenAI and Anthropic to train domestic AI systems designed for defense capabilities. A review of more than 80 Chinese academic papers and patents published across research institutions indicated that military-affiliated organizations leveraged outputs from U.S....
Chinese artificial intelligence firm Moonshot established a computing agreement with Alibaba Group for the operation of approximately 20,000 Nvidia chips, according to a report published by Bloomberg News on Friday, July 31, 2026. Alibaba, functioning as one of Moonshot's primary institutional investors, mandates that portfolio companies utilize its enterprise...
Microsoft-owned professional network LinkedIn is implementing new measures to combat low-quality, artificial intelligence-generated content on its platform. In a blog post published on July 31, 2026, Chief Product Officer Hari Srinivasan announced the introduction of a new “seems like AI slop” reporting button available in the ellipsis menu on all...
A bipartisan group of U.S. senators has sent a letter to Apple CEO Tim Cook urging the company to abandon plans to purchase memory chips from Chinese suppliers ChangXin Memory Technologies (CXMT) and Yangtze Memory Technologies Co (YMTC), according to a Bloomberg report published July 30. The senators warned that Apple...
XRP traded around $1.0917 on July 30, recovering 1.68% intraday after dipping toward $1.045 earlier in the week, according to crypto.news data. The token remains just below the Bollinger Bands’ 20‑day middle line at $1.0975, which now acts as immediate resistance. A daily close above that level could open a...
