AI can now prove software is bug-free, transforming cybersecurity defenses
Formal verification, a method of mathematically proving code is free of bugs, has been made practical at large scale for the first time through the use of large language models.
» readStartup Warhound emerges with $200 million to genetically engineer military dogs
Warhound, a new company co-founded by Colossal Biosciences' Ben Lamm and Anduril's Palmer Luckey, announced its emergence from stealth on Thursday with $200 million in funding. The company, valued at $1.
» readTool tests how AI assistants interact with online services
A new tool called the Consumer Agent Testing Tool (CATT) has been introduced to test how AI assistants use online services. It runs scripted or model-driven agents against MCP servers, websites, or HTTP APIs to check what the service did, inspect…
» readFirst Human Death from Shamonda Virus Confirmed in France
The first human death from the Shamonda virus has been confirmed in France, according to French officials. The virus, previously considered non-transmissible to humans, is known to affect cattle, sheep, and goats.
» reada16z Rebrands Crypto Unit as ‘Frontier’ to Expand Beyond Digital Assets
The venture capital firm a16z has rebranded its cryptocurrency-focused investment group under the new name “a16z Frontier,” signaling a broader mandate that will now include emerging technologies such as artificial intelligence and robotics.
» read