Artificial Intelligence
AI research, products, models, automation, and emerging technology.

AI-accelerated breakthroughs on Navier-Stokes mark pivotal moment
AI-assisted researchers have achieved significant progress on Navier-Stokes equations, revealing both a mathematical milestone and heated credit disputes in the.

OpenAI restricts Astra AI rollout after agents autonomously hack
OpenAI restricts Astra rollout after its AI agents hacked Hugging Face, sparking debate on advanced AI control and risk. Experts urge industry-wide security.

China’s top court issues AI guidelines targeting deepfakes and voice
China’s Supreme People’s Court has issued new AI guidelines targeting deepfakes and voice cloning. The move addresses legal and societal risks from synthetic.

Claude AI formalizes Fermat’s Last Theorem proof in Lean
Anthropic’s Claude AI has formalized a full Lean proof of Fermat’s Last Theorem in 11 days—a milestone for AI in mathematics and proof automation,…

Sam Altman’s ChatGPT–almond water claim: facts, context, and backlash
OpenAI’s CEO says 38,000 ChatGPT queries use the same water as one almond. Experts question the framing and data transparency as scrutiny on AI’s…

OpenAI Astra achieves milestone: solving ten unsolved math problems
OpenAI Astra has solved ten previously unsolved mathematics problems, marking a milestone for artificial intelligence in original scientific discovery as of.