今日精读

"GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API." — @OpenAI；"Now out to all Plus and Business users. Happy building!" — @sama；"we will do the full banked reset today too for all Plus, Pro and Business users. Lands end of day." — @sama

"Last month, Claude completed the first formalized proof of Fermat's Last Theorem... It is the largest Lean proof ever written... totals over 13 million lines of code... proves over 29,000 other theorems that the proof requires."

"Tesla uses Reaction Injection Molding (RIM) for the Cybercab primarily to eliminate the traditional automotive paint shop... reduce the factory footprint by roughly 50%... colored panels come out of the molds nearly complete."

"Track a repo's star growth over time with the new star history REST API endpoint without exposing stargazer identities. Stargazer listing endpoints were restricted to admins and collaborators to protect user privacy."

"GPT-6 Astra is now available in Netlify AI Gateway and Agent Runners. Use gpt-6-astra with the OpenAI SDK in Netlify Functions, without managing API keys or authentication."

"The Ultimate Dreamforce 2026 is here: 🤖 Claudeforce 🤝 @Agentforce Coworker 💬 @SlackHQ 🎤 @Usher"

"I went to a Korean bath house in LA on a Saturday... it was like $30/night and it had a restaurant inside and a place to work on my laptop in this big massage chair so it was perfect for a digital nomad."

"Starlink customers can earn cash for each eligible referral in countries around the world. Share your referral link in 3 easy steps. The person you refer gets one month free of Starlink service and you get paid."