In case you missed itGoogle DeepMind's LLM-Lean agent loop resolves 9 open Erdős math problems and proves 44 OEIS conjecturesRH#887|@ROBINHANSONB(#839|@BEFFJEZOSZN#537|@ZACHARYNADOSK#505|@SEBKRIERGM#153|@GARYMARCUS+5 more
#1 VIEWEDxAI expands its Grok Build terminal coding assistant beta to Premium+ and SuperGrok subscribersRP#1032|@ROHANPAUL_AIBY#341|@BILLYUCHENLINRS#321|@SCOBLEIZEREM#76|@ELONMUSK
RISING LIKES3.4kDavid Heinemeier Hansson claims GPT-5.5 outperforms every coding model since Opus 4.5, requiring only high-level steeringJA#929|@JXNLCOB(#839|@BEFFJEZOS
FASTEST CLIMBINGChris Olah warns that commercial and competitive pressures on frontier AI labs conflict with ethical decision-makingSÓ#1457|@S_OHEIGEARTAIGHMB#20|@MILES_BRUNDAGE
manaflow-ai/cmux1D AGO AGOIntegrates Ghostty into a macOS terminal with vertical tabs, sidebar metadata, OSC notifications, and in-app browser for AI coding agents.MS759PJ660JF30PS495JM20319.4k stars
…-group/InferenceBench5D AGO AGOEvaluates autonomous AI agents optimizing LLM serving like vLLM in open-ended scenarios with quality and integrity gates.RS1224MA106616 stars
sapientinc/HRM-Text6D AGO AGOPretrains 1B HRM text models with hierarchical reasoning, task completion, and low-compute PrefixLM training.TA1047VW707565 stars