OpenAI published a catalogue of 722 mathematical manuscripts, organised into 372 families, produced by what it calls "an unreleased internal OpenAI model". The repository README says the model was posed approximately 4,000 problems and that each result used, on average, three hours of ChatGPT Pro thinking compute. OpenAI says the collection "includes results at different stages of verification", that "Not all have accompanying Lean formalizations", and that "Some of the unformalized results could have issues". The materials are released under Apache-2.0. Anthropic folded Project Glasswing and its Cyber Verification Program into a single three-tier programme that gives vetted security teams reduced blocking classifiers on Claude Opus 5.5, Claude Sonnet 5.5 and Claude Mythos 5.1. It disclosed that Glasswing partners "uncovered at least 129,000 verified software vulnerabilities between April and July 2026", with more than 33,000 rated critical or high severity. The Register reports that VulnCheck's Patrick Garrity found fewer than 0.5 percent of the 225 Anthropic-linked vulnerabilities he tracked were being exploited in the wild. On the same day CrowdStrike said a classifier guarding Claude Opus 5.5 and Fable 5 held to a "0% direct bypass rate" across roughly 515 techniques, but that splitting a harmful goal into benign subtasks worked in 9 of 10 offensive categories. Mistral released a preview of Mistral Large 4, a 1 trillion-parameter model with 49 billion active parameters that it says was trained on 3,800 NVIDIA Grace Blackwell GPUs in its own European datacentres. Common Sense Media rated ChatGPT for Teens an "Unacceptable Risk" after testing more than 4,000 prompts, reporting that the share of resource-warranted responses naming a crisis hotline fell from 33% before launch to 23% after. The Financial Times reported SpaceX is seeking $40 billion, led by Apollo Global Management, to buy Nvidia chips.
続きを読む
一部表示