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
MOST NEGATIVEGoldman Sachs CEO argues AI will not eliminate 25% of jobs, calling apocalypse fears exaggeratedRP#1032|@ROHANPAUL_AIB(#839|@BEFFJEZOSAL#562|@LEVIEGM#153|@GARYMARCUS
RISING LIKES614Commentator Tenobrus jokes about being two weeks away from 'LLM psychosis' and publishing an AI-generated software stack manifesto🎭#878|@DEEPFATESSZ#58|@SUCHENZANG
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