A YC startup is putting $1M behind five unsolved materials science problems for AI

Grimes is going to star in an AI movie that’s coming to theaters

OpenAI says its new cybersecurity model is better at not hacking other companies

Axiom Math wants to keep AI slop out of mathematics

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.

Dropbox acquires Tigris Data for $350M to bolster its AI infrastructure

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

Hugging Face CEO just told Sam Altman and Dario Amodei: You need to do more than just telling the world t - The Times of India

Hugging Face CEO just told Sam Altman and Dario Amodei: You need to do more than just telling the world t The Times of India

The hidden supply chain costs of the AI boom