DeepMind's AlphaProof Nexus solves 9 Erdős problems, two open for over 50 years, with Lean proofs
Results across 353 attempted Erdős problems and 492 OEIS conjectures are public in DeepMind's GitHub repository with machine-checked proofs.
- Anthropic finds Claude can write training data that passes a production-style monitor yet makes a model misaligned
- OpenAI releases GPT-Rosalind-6, a life-sciences model with fewer dual-use biology refusals to vetted groups only
- Nasdaq slides 2.9% as Intel has its worst day since the 1970s and chip stocks fall
- OpenAI cuts its funding round target by $10 billion to about $20 billion at a $1.25 trillion valuation, FT reports
- S&P revises Meta's outlook to negative over AI capital spending and negative free cash flow
- Google's Suncatcher satellite returns the first AI response from a data-centre TPU in orbit
- Intel shares fall 29%, their worst day since the 1970s, cutting about $12 billion from the US government's stake
- Mistral releases open weights for Mistral Large 4, its 1-trillion-parameter model