Astra and Claude prove optimal square packing for 11 squares in Lean

A Reddit builder's tool takes a text description and outputs a complete quadruped: Feetech STS3250 servos, electronics plan, 3D body and shell, and firmware. Designs are then simulated in MuJoCo.

Australia's government is exploring mandatory incident-reporting rules for frontier AI companies following an agentic attack on its own Medicare systems. The proposal is still at the consultation stage.

Elon Musk said Grok Bot will automatically pick the best backend model per task — Claude Opus 5.5 for complex work, Midjourney for images, Suno for music generation. Grok Bot also offers multiple sessions and cloud agents with Cursor model and API access.

Broadcom is arranging more than $50 billion in financing for the custom AI chip it is developing with OpenAI, per the Wall Street Journal. The deal is part of a surge in financing arrangements to pay for AI infrastructure.

Ethereum Foundation researcher Justin Drake urged the blockchain industry to plan for "bunker mode," migrating funds to addresses whose public keys stay hidden behind a hash. He said ECDSA could break before Q-Day, in the worst case "in months not years," meaning private-key recovery in about a week on a large GPU cluster.