In case you missed itOpenAI's internal reasoning model refutes the 1946 Erdős planar unit distance conjectureAK#228|@BLACKHCGM#153|@GARYMARCUSSD#94|@_SHOLTODOUGLASRA#83|@_AROHAN_SB#51|@SEBASTIENBUBECK+11 more
manaflow-ai/cmux2D AGO AGOIntegrates Ghostty into a macOS terminal with vertical tabs, sidebar metadata, OSC notifications, and in-app browser for AI coding agents.MS759PJ660JF30PS49519.8k stars
self-evolving/repo20H AGO AGOInvokes AI agents via GitHub mentions to implement issues, review PRs, fix branches, and persist memory across runs.ST594🎭87825 stars
modaic-ai/gepa-viz1D AGO AGORenders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.🎭878CS793259 stars
…-group/InferenceBench6D AGO AGOEvaluates autonomous AI agents optimizing LLM serving like vLLM in open-ended scenarios with quality and integrity gates.RS1224MA106616 stars