All articles
AI formalizes the 246 theorem — the toughest proof yet
Axiom Math used its AxiomProver system to formally verify the "246 theorem" — the closest result yet toward the twin prime conjecture. It shows AI starting to deliver checkable certainty, not just plausible answers.
Qwen 3.8 27B: Alibaba's strong model that overthinks by default
Alibaba released Qwen 3.8 27B — an open, multimodal 27B model under Apache 2. Simon Willison praises the quality but warns about the "xhigh" default that makes it overthink.
A robot finger that feels in color: a 100-µm tactile sensor
A team from Queen Mary University of London and Italian universities built a tactile sensor that turns pressure into color via a mechanochromic Bragg reflector — 100 µm resolution with zero computational latency.
Amazon is destroying rare books to train AI models
404 Media used an AirTag to track a shipment of rare books to an Amazon facility in Las Vegas, where they are destructively scanned to train AI models after internet data ran out.
Nvidia puts $1.5B into OpenAI data center near Cincinnati
Nvidia is investing $1.5B in SB Energy and extending up to $105B in credit for the Ports-Pike data center for OpenAI near Cincinnati, becoming its sole compute supplier.
Groq raises $350M and swaps its own chips for Nvidia cloud
Groq raised $350M at a $3.5B valuation, roughly half of a year ago. The company is dropping its own LPU chips to become a neocloud running Nvidia GPUs — with Nvidia itself set to join the round.
Alloy Robotics Raises $8M to Debug Robot Fleets With AI Agents
The Sydney and San Francisco startup raised $8M in a Square Peg-led round. Its AI agents analyze robot data to pinpoint failure causes, instead of leaving engineers to dig through logs.
San Mateo County Drafts Humanoid Robot Rules, Hitting Teleoperation
San Mateo County's Board of Supervisors passed a resolution ordering rules for commercial humanoid robots. A mandate for constant on-site human supervision hits remote-operated business models, including Tau Robotics' cleaning service.
LG to Unveil Humanoid Built on NVIDIA Isaac GR00T in Early 2027
LG signed an MOU with NVIDIA and announced a bipedal humanoid for Q1 2027 — running on Jetson Thor and Isaac GR00T, built with components from across the LG group under its One LG strategy.
The Dexterity Divide: Tendon vs. Direct-Drive Robot Hands
Brett Adcock called Figure’s tendon gripper one of his worst engineering decisions. Rivals at Foundation and 1X pushed back at once, opening a public fight over how humanoid hands should be built.
Figure CEO: humanoids already deliver ROI amid labor shortages
Brett Adcock says Figure 03 robots are already delivering ROI for the first commercial customers battling extreme staff turnover. The company is valued at 39 billion dollars.
Treble: robots that can't talk naturally won't get adopted
A Treble Technologies co-founder argues robotics has neglected hearing and speech in favor of vision and movement. In his view, communication — not another vision sensor — will decide which robots people actually accept.