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_AIB(#839|@BEFFJEZOSBY#341|@BILLYUCHENLINRS#321|@SCOBLEIZEREM#76|@ELONMUSK
RISING LIKES661Commentator Tenobrus jokes about being two weeks away from 'LLM psychosis' and publishing an AI-generated software stack manifesto🎭#878|@DEEPFATESSZ#58|@SUCHENZANG
FASTEST CLIMBINGPrinceton's Chi Jin announces three PhD graduates joining OpenAI, ByteDance, and CornellER#1725|@ERNESTRYUCJ#909|@CHIJINMLWC#304|@WENHUCHEN
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