Terence Tao quips that mathematicians "did not ask for" AI-generated proofs

StarTalk Plus interview with Geoffrey Hinton traces modern AI back to a 70-year-old bet that intelligence emerges from brain-like networks rather than pure logic. Hinton, who championed that approach, now warns the digital version may outperform the biological original.

CorporacionRobot built a new exocontrol for its Gevo avatar robot using magnetic encoders and bearings, which the team says are clearly felt when moving the controller. A Codex-built tool displays sensor values.

A developer released a Krea 2 Prompt Writer extension for ComfyUI that expands simple ideas into fuller prompts, after demand from direct messages. It was originally a Patreon post and is now offered at no cost.

SoftBank Group is seeking to raise as much as $100 billion from Gulf investors to expand its AI investments, per the Financial Times. The report cites no named investors or timeline.

Six decision models each played 100 games against the classic scripted ghosts, with a 2-second deadline per junction decision and games capped at 5 minutes. The longest game lasted 2 minutes 24 seconds; rankings use mean score with a 95% margin of error.

George Washington University researchers Neil Johnson and Frank (Yingjie) Huo published a paper on predicting when a chatbot goes rogue, focused on offline personal AI companions. They argue slippage stems from competition in the Attention head between conversation context and competing output basins, and offer a formula estimating the number of good outputs before the first bad one.