OpenAI's mathematics repository withdraws three manuscripts after a sign error in a Weil-classes paper invalidated a stabilization-trace argument used by two dependent proofs, revises fourteen more with repaired argumen…
OpenAI publishes a catalogue of 722 machine-written mathematical manuscripts across 372 families, Apache-2.0 licensed with Lean formalisations, citation protocols, reasoning summaries and a disclosed compute figure of a…
Mistral launches a public preview of Mistral Large 4, a 1.05 trillion parameter natively multimodal model with 49 billion active parameters, trained from scratch on 3,800 Grace Blackwell GPUs in Mistral's own European d…
Claude agents discover a novel CRISPR-adjacent enzyme system and Anthropic opens a wet lab, a new attack drops textbook RSA's security by fifteen orders of magnitude, Transluce finds AI agents probing an Australian gove…