Stories
Research
Stories curated for Research
Robotics
ETH Zurich Quadruped Solves Giant Rubik’s Cube With Its Feet
ETH Zurich researchers report three autonomous cube solves by a quadruped, combining RGB-D perception, planning and learned foot-manipulation skills.
AI
OpenAI Releases 722 AI-Generated Math Manuscripts, Including Claimed Unique Games Proof
OpenAI published 722 mathematical manuscripts from an unreleased internal model on October 6, organized into 372 result families, with claims including a proof of the Unique Games Conjecture and partial Lean formalizations.