Technology
Artificial intelligence, the tools built on it, and the innovation shaping what comes next.
RSI-PDEbench: A Benchmark for Self-Improving Agents in PDE Solving
Researchers have introduced RSI-PDEbench, a benchmark comprising 1,001 cases across 42 equation templates, to evaluate how large language model (LLM) agents can automate the process of identifying and solving partial differential equations (PDEs). They also developed RSI-PDE, a recursively self-improving agent that significantly enhances performance and efficiency compared to existing methods. This work demonstrates the potential of validated recursive self-improvement in LLM agents for scientific computing.
Microsoft’s global outage may be worse than Amazon's or CrowdStrike's, expert says
A global outage of Microsoft 365 services, including email, cloud, and AI, began on Thursday and continued into Friday, impacting a wide range of users from businesses to government IT infrastructure. Experts suggest this disruption could be one of the most significant outages ever, potentially worse than those experienced by Amazon Web Services or CrowdStrike. Microsoft is actively working on recovery actions and investigating the root cause, stating there is no evidence of malicious activity.
Google rolls out Gemini 4 Hydrogen, finally replacing 3.8 Flash
Google has launched Gemini 4 Hydrogen, an AI model designed to replace the faster, more economical Flash models. Hydrogen offers significant improvements in speed, reducing "fabricated claims," and enhancing code generation, making it suitable for simpler coding tasks and testing. It is also being integrated into Google Search to improve handling of complex queries and provide more visual responses.
Google DeepMind just mathematically verified key parts of Signal
Google DeepMind researchers utilized agentic AI to formally verify key cryptographic guarantees of the Signal protocol, a significant step for both cryptography and AI. This four-week project validates the security of widely used communication platforms and showcases DeepMind's AlphaProof Code framework. While promising for software security, the widespread practicality and effectiveness of AI-aided formal verification for large codebases remain to be fully determined.
Competent Enough: AI Agents Changed Who Writes the Code, Not Who Answers for It
Something odd has happened to the AI conversation among people who actually ship software. A year or two ago, every discussion started with which model. Today the people getting the most out of these tools barely care. They talk about tests, about specs, about what the agent i…
DeepMind reveals Gemini Robotics 2.5 and open safety benchmark "ASIMOV-jailbreak"
Google DeepMind has unveiled Gemini Robotics 2.5, an AI platform that significantly improves robot dexterity and task completion, achieving a 96% success rate in real-world factory settings. This new version, which includes Gemini Embodied Reasoning and Gemini Robotics, aims for general-purpose robots capable of handling diverse tasks, though closing the gap to human-level reliability remains a challenge. DeepMind also introduced an open-source safety benchmark, "ASIMOV-jailbreak," to prepare for robots operating alongside humans.
Claude Code is accidentally exposing secrets all over GitHub
AI security researchers discovered that Claude Code is leaking sensitive information, including database passwords and API tokens, on public GitHub instances. This occurs due to an oversight in how its settings files, which store user-approved commands, are handled and sometimes accidentally uploaded despite .gitignore settings. Although Anthropic is investigating, a team member noted that these files should not be committed to source control.
Pentagon mulls placing fleet of military satellites around the Moon
The US military is exploring the deployment of a "proliferated cislunar constellation" of satellites around the Moon, as indicated by a recent Request for Information. This initiative follows growing interest from the Space Force in extending its reach to the lunar region to protect US interests amidst increasing competition with China. The Pentagon aims to deploy up to five spacecraft by late 2029 to meet military mission needs.
Vulnerability that lets hackers SSH into Linux devices is under active exploitation
A critical vulnerability, dubbed *sshole, in Linux systems using OpenSSH and musl is being actively exploited by hackers. This flaw allows unauthenticated access to high-privilege accounts in seconds, with security firms reporting widespread exploitation attempts and sophisticated intrusions. A fix has been released by OpenSSH to prevent these attacks.