Social Media Briefing

The AI community was electrified by OpenAI's announcement that an internal version of its next major model had solved ten long-standing open problems in mathematics, spanning sphere packing, group theory, and lattice cryptography, with formal Lean proof certificates released publicly for verification. This fueled a deeper theoretical discussion around architectures that transcend pure next-token prediction, with Yann LeCun highlighting inference-time optimization, Energy-Based Models, and objective-driven planning as essential components for true AI discovery. Real-time agent and system efficiency also took center stage: Greg Brockman detailed the new GPT-Live audio stack that decouples fast voice streaming from asynchronous reasoning, while NVIDIA engineering shed light on architectural co-design tradeoffs—head dimension, group size, and KV-cache—that determine long-context model performance before training begins. In autonomous agents, Cursor announced native Google Workspace integration giving coding agents direct access to Docs, Sheets, and Drive, and Ashok Elluswamy from Tesla confirmed that Max Speed hard coding is being replaced by learned driver preferences inside Full Self-Driving. The social and economic displacement of labor was underscored by a viral observation from levelsio, who quipped that professionals like accountants are already routing client questions through generic AI, prompting clients to cut out the middleman entirely and consult AI directly. (read more)