ニュース

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.

The deal is expected to support the development of DBX Agent Cloud, a new storage platform aimed at developers building AI models and agents.

Aina's ring can also take calls and help you dictate notes on your Mac.

The system can answer queries four times faster, with 20% fewer errors and 90% fewer tokens used.

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.

Agility arrives on the Nasdaq today as the first publicly-traded pure-play humanoid robotics company.

The company is said to be significantly dropping the amount it's spending on AI for its engineering teams.

Data center opposition crossed party lines in Tuesday’s midterms.

AI industry PACs spent millions influencing the 2026 midterms, with mixed results. Political groups are already looking toward the next election cycle.

While it's not yet clear what kind of product the smartphone startup is cooking up, Nothing's CEO said the product is designed to leverage AI for productivity gains.

During its busiest week last quarter, Uber said only four people booked a ride using an AI agent.

OpenAI’s Chris Lehane wants AI to define the 2028 election, proposing a new social contract that could benefit Americans while also advancing the AI giant’s own business interests.

The startup allows software engineers to deploy teams of agents to work on various aspects of a project simultaneously.

Open source models are becoming more mainstream as enterprises, governments and startups alike rely on the promise of lower costs, more control, and more flexibility. But as increasingly capable models become more freely available, how do companies capture value? And with Chinese open models gaining ground, can American players keep up?  On this episode of […]

DuckDuckGo is courting schools frustrated by Google's AI restrictions, pointing educators to its search engine and options to disable AI features.

Open source models are becoming more mainstream as enterprises, governments and startups alike rely on the promise of lower costs, more control, and more flexibility. But as increasingly capable models become more freely available, how do companies capture value? And with Chinese open models gaining ground, can American players keep up?  On this episode of […]

Apple's AI-powered Siri Recaps won me over in just one day, despite my privacy reservations. But there's still room for improvement.

Politicians on the left, like NYC mayor Zohran Mamdani and former FTC chair Lina Khan, accused Google of acting as an unregulated monopoly.

Today is the day to join TechCrunch Founder Summit 2026 in Boston's SoWa Power Station. Register now to join this founder-focused conference today.

Called FlashProve, the system would let anyone check that an AI response really came from the model it claims to be from.

The years-long wait for access to the grid and new turbines is causing data center builders to turn to an unusual, less-efficient and less environmentally friendly solution: once-discarded jet engines.

Cybersecurity-focused Ballistic Ventures is seeking to raise $360 million for a new flagship fund and another $130 million for a separate investment vehicle.

Palantir delivered such a huge third-quarter earnings report on Monday that its press release even bragged that the numbers were “crushing consensus expectations.” Yet, retail investors were lukewarm on the company on Tuesday, with the stock trading slightly down. That’s because Palantir’s enterprise sales, its big growth area, showed signs of slowing. First, the good […]

The five-year-old startup raised a $1.3 billion round led by Bessemer.