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 LIKES1.5kEngineer Paula jokes that God was the original prompt engineer, drawing technical parody replies on X“P#1702|@PAULARAMBLESXM#437|@INFOXIAO
FASTEST CLIMBINGYouTube creator Matthew Berman says negative AI content outperforms positive news because audiences seek validation for their fearsMB#1759|@MATTHEWBERMAN🍓🍓#1711|@IRULETHEWORLDMOGM#153|@GARYMARCUS
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