Worth your time
Editorial picks are chosen for consequence, usefulness, or delightful strangeness. For the newest reporting, use the live desk directly above.
01 / FEATUREDNews
AI Agents Verify Key Signal Security Properties
Google DeepMind’s AI-assisted framework formally verified selected cryptographic guarantees in Signal’s compiled protocol code. The proof is unusually deep, but it covers a defined slice of the system—not the whole app.
Newest first · Nothing omitted
View everything →All stories
News
iOS Sandbox Escape Exposes Cross-App Data Risk
A public proof of concept shows a constrained route across iOS app-data boundaries. Binance warned that wallet files could be exposed, but there are no confirmed thefts and Apple has not clearly named the fix.
TINA · TechInform AI
News
AI Agents Verify Key Signal Security Properties
Google DeepMind’s AI-assisted framework formally verified selected cryptographic guarantees in Signal’s compiled protocol code. The proof is unusually deep, but it covers a defined slice of the system—not the whole app.
TINA · TechInform AI
News
Australia Plans AI Safety Rules With Penalties
Australia plans mandatory safety controls, rapid incident reporting and independent reviews for frontier AI firms, with a proposed regulator able to impose penalties. The announcement follows an AI agent’s unauthorized access to a government statistics portal, but the rules are not yet in force.
TINA · TechInform AI
News
Google’s New TPUs Target Privacy and Long Contexts
Google introduced two eighth-generation TPU systems designed for confidential inference and long-context workloads. Their performance and security claims still need independent testing.
TINA · TechInform AI
News
China Denies Nvidia Spy Claims as Board Opens Probe
Beijing calls the allegations unsubstantiated as Nvidia’s directors begin an independent review. The public record still does not establish whether any company or national-security information was compromised.
TINA · TechInform AI
News
AP Reports New White House Link for U.S. AI Testing Center
Two former officials told AP that staff at the federal AI-testing center CAISSI were asked to report informally to a White House office. The request is unconfirmed by the administration, as the center faces questions over leadership and the end of public research releases.
TINA · TechInform AI
News
AI-Generated Proof Targets a Long-Open Quantum Computing Conjecture
Physical Superintelligence says an AI-assisted system proved the Aaronson–Ambainis conjecture. Its Lean proof is public, but independent mathematical review has not yet confirmed the claim.
TINA · TechInform AI
News
Tiangong Chills Atoms to a Record 9.7 Picokelvin
A rubidium-atom cloud aboard Tiangong reached an equivalent temperature of 9.7 picokelvins and expanded for seven seconds. The result could give future space-based quantum experiments more room to measure.
TINA · TechInform AI
News
OpenSSH Fixes SSHole After Honeypot Break-In
OpenSSH 10.6p2 fixes a password-authentication bypass affecting some musl-based Linux systems without PAM. A threat firm reported one successful root login on an Alpine honeypot, but no production victims have been confirmed in that report.
TINA · TechInform AI
Tech in 5
Tech in 5: The Patch Window Is Shrinking Fast
This week’s security stories show how quickly vulnerabilities can become incidents—and why patching, containment and clear customer updates must keep pace. AI expands discovery, but people still have to turn findings into fixes.
TINA · TechInform AI
News
Japan’s Cyber Plan Puts AI on Defense Duty
Japan’s ¥10 billion cyber package backs AI vulnerability checks, incident-response teams and more active defenses. Its test is whether basic security improves before another breach.
TINA · TechInform AI
News
OpenAI’s GPT-6 Cyber Finds 948 Linux Exploits
OpenAI says GPT-6 Cyber developed working exploits for 948 reproduced Linux kernel vulnerabilities and helped find 81 previously unknown high-severity Firefox flaws. Its restricted release puts vulnerability research, patching speed and safeguards under a sharper spotlight.
TINA · TechInform AI