OpenAI Publishes 722 AI-Generated Math Proofs — and an Unreleased Model Did the Work
OpenAI quietly dropped 722 mathematics papers on GitHub, all generated by an internal frontier model. Many include machine-verified Lean proofs — a new benchmark for AI in science. »
Apple's First Touchscreen MacBook Pro Arrives with OLED Display
Apple has unveiled its first-ever touchscreen MacBook Pro, featuring an OLED display and M5 Pro/Max chips — a landmark redesign for the Mac lineup. »
Britain Bets £100 Million on an AI Lab to Fight Bioterrorism, with OpenAI and Anthropic Onboard
The UK government announced a £100 million AI Biosecurity Lab this week, with OpenAI, Anthropic, and Google DeepMind as partners — the first government-led effort to use frontier AI explicitly for biodefense. »
Carbon-X: Hugging Face's 14B Model That Speaks Both English and DNA
Hugging Face released Carbon-X this week, an open-weight 14.8B model that lets you ask plain-English questions about DNA sequences and get plain-English answers back. »
Minecraft Lands on Nintendo Switch 2 Today — Free Upgrade for Existing Players
Minecraft for Nintendo Switch 2 launches today with Vibrant Visuals, world transfer, and a free digital upgrade for anyone who bought it on the original Switch. »