Olympiad-level formal mathematical reasoning with reinforcement learning Summary This Nature preview describes AlphaProof, an AlphaZero-inspired reinforcement learning agent trained to find formal proofs in the Lean proof assistant. The system…
Potent neutralisation of Marburg virus by a vaccine-elicited antibody Article Meta Article Date: 12 November 2025 Article URL: https://www.nature.com/articles/s41586-025-09868-1 Article Image: (not provided in preview) Summary Researchers stabilised the prefusion…
Attackers turned Citrix, Cisco 0-day exploits into custom-malware hellscape Summary Amazon’s CISO CJ Moses says an “advanced” attacker exploited two zero-day bugs — Citrix CVE-2025-5777 (CitrixBleed 2) and a previously…
First stellar Coronal Mass Ejection detected beyond our Sun Summary A team of astronomers has made the first definitive detection of a Coronal Mass Ejection (CME) from a star other…
Vibe coding: What IT leaders need to know Summary Vibe coding — a term popularised in 2025 — describes a shift from line-by-line programming to a more conversational, intent-driven workflow…
‘Advanced’ hacker seen exploiting Cisco, Citrix zero-days Summary Amazon discovered a sophisticated campaign in May in which an “advanced” threat actor exploited previously undisclosed zero-day vulnerabilities in Citrix and Cisco…
British government unveils long-awaited landmark cybersecurity bill Summary The UK government has introduced the Cyber Security and Resilience Bill to Parliament after more than four years of preparation and multiple…
The AI Boom Is Fueling a Need for Speed in Chip Networking Summary As AI models grow in size and ambition, the bottleneck is shifting from raw compute to the…
Anthropic’s Claude Takes Control of a Robot Dog Summary Anthropic researchers experimented with Claude—their large language model—by asking it to program and control a quadruped robot dog. The exercise was…
Microsoft Exchange ‘Under Imminent Threat’, Act Now Summary Microsoft Exchange remains a high-value target for attackers, and risks are rising as Microsoft ends support for Exchange 2016 and 2019 in…
