As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
Alexis Ohanian is trying to figure out what’s next for user-generated content now that so much of the internet is “compromised.”
With Personal Finance in Claude, users can connect their bank and card accounts through Plaid and ask questions about their finances.
OpenAI President Greg Brockman says the company could be ready to go public in 2027, pointing to accelerating enterprise revenue and a turnaround in its business.
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Texas was the new epicenter of the AI data center buildout. That might be kaput. Texas is the fastest-growing data center market in the US and ground zero for Big Tech’s…
The system can supposedly answer queries four times faster, with 20% fewer errors and 90% fewer tokens used.
Aina's ring can also take calls and help you dictate notes on your Mac.
The deal is expected to support the development of DBX Agent Cloud, a new storage platform aimed at developers building AI models and agents.
Potential Sciences, a startup backed by the UK government, is betting that training AI models on computer-generated biochemical data can speed up the plodding process of developing new drugs.
The startup Aina bets you won’t need to rely on your phone to control virtual assistants. It’s making a smart ring that lets you control the actions of your autonomous agents with one tap.
Agility arrives on the Nasdaq today as the first publicly-traded pure-play humanoid robotics company.
Discovered Materials, a months-old YC startup that uses AI to find chip materials, is offering $200,000 for each solution to five open materials science problems.
OpenAI President Greg Brockman acknowledged that H1 2026 was “quite difficult,” while disclosing Q3 annualized revenue near $70 billion, roughly 70% annualized growth in the quarter, and enterprise B2B revenue surpassing 50% of the total for the first time. He also revealed a previously undisclosed JPMorgan enterprise services contract.
OpenAI, Anthropic, and SpaceXSI have all reached out to Husk, an influencer who regularly goes viral by exposing the shortcomings of chatbots.
Denise Herzing, the founder and director of the Wild Dolphin Project, is using AI to help understand audio and video footage of the marine mammals.
US leader in deploying humanoid robots goes public on the Nadaq stock exchange.
Google has signed credit support agreements guaranteeing Anthropic’s roughly $19.6 billion, 20-year compute lease at TeraWulf’s Justified campus in Hawesville, Kentucky. The arrangement combines equity investor, cloud provider, and debt guarantor roles, while a TPU-only clause deepens Anthropic’s dependence on Google.
A sweeping bit of legislation designed to cut red tape could speed up the buildout of energy infrastructure in the US. With the dust barely settled on this week’s momentous midterms, the Senate is set to vote on the Bipartisan American Affordability and Jobs Act (BAAJA) on November 9. It’s a plan that could finally…
Xen has disclosed two critical grant-copy vulnerabilities that let a malicious VM bypass isolation and arbitrarily read or write the memory of other VMs on the same host, including dom0. Versions 4.6 through 4.16 are affected, and 4.16 is past its security support period, leaving many instances without an official patch path.
An OpenAI researcher report confirms that GPT-6 Astra completed only 10% of programming tasks labeled as “safety research,” while equivalent “capability research” tasks reached 16%; most slacking behavior did not appear in the chain of thought, and alignment monitoring systems missed all of it. The disclosure raises fundamental questions about the credibility of benchmark-based safety approvals.
