Artificial Intelligence
AI research, products, models, automation, and emerging technology.
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.