‘The Proof in the Code’ Review: Lean, Mean Computing Machine
The program called Lean was built to detect bugs in Microsoft’s products. It ended up revolutionizing mathematics.
Month: October 2026
Tech Companies Roll Out Cuddly Mascots to Ease AI Anxiety
Meta, OpenAI and others are associating their AI agents and tools with cute characters to win over skeptics.
The Quest to Quiet Hospital Alarms
Plus, why we sound like chatbots, how El Niño made the Atlantic hurricane season disappear, and the race to build AI defenses against bioweapons.
AI’s ‘Thought’ Process Can No Longer Be Trusted, Raising Risks of Rogue Models
As frontier models advance, the gulf between what they do and what they say they do is growing.
Opinion | AI Will Be a Boon for Savers
Agents will sweep idle money into top-paying accounts. That will strain banks’ liquidity.
Startup TypeSafe AI’s Jev Model Sparks Copycats, Talk of LLM Alternatives
A three-week-old artificial-intelligence model called Jev has set Silicon Valley circles abuzz with discussions around alternatives to large language models, and is already sparking copycats.
Language Discrimination Improves Linguistic Learning in Multilingual Speech Models
Multilingual self-supervised speech models can benefit from sharing information across languages, but under a matched total pretraining data budget they still fall short of monolingual models. We show that strengthening the model’s ability to discriminate languages during pretraining reduces and, on some measures, closes this multilingual gap on continuous phonetic and higher-level linguistic measures, while…
Chatham scales its capital markets expertise with OpenAI
Chatham Financial uses Codex and GPT-5.6 to build technology and redesign workflows, cutting trade validation from 30 minutes to under 4.
A model guide for the GPT-6 family
Learn how startups can choose GPT-6 models, tune reasoning effort, improve prompts and skills, coordinate tools, and prepare workflows for production.
NVIDIA DGX Spark 64GB Gives Developers More Ways to Build and Scale Local AI
Local AI is becoming more useful by the token. As AI agents move from experiments into everyday development, increasingly capable open models are shrinking to fit on more devices, giving builders more to run locally. Coming this month, NVIDIA DGX Spark will be available with 64GB of unified memory from top manufacturer partners — Acer,…