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. It might take a few days to roll out to our Plus and Business users. Thank you for your patience.
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of …
Fable 5.1 + Opus 5 https://t.co/ZSniEnMZHx
"Hey Astra, make me a Mac app. It should render a 3D iPod that you'll build in Blender, then using the original iPod UI and interactions I want to be able to visualize all my Codex threads on it." 15 minutes later: Boom. What's even in this model? What time we're living in!?? h…
Make money from your menu bar for doing nothing https://t.co/FJyzpCo3HS SponsorBar puts a small ad in your menu bar and shares the revenue with you Enjoy 10% extra earnings over the next week to celebrate launch https://t.co/gyHpNNiREW
I love Smash 64 but I wish I was in it, so I hacked the original game to run in the browser and put myself + 1000 others in Upload yourself at smash dot fun https://t.co/by4SmTuyvV
I've tried for weeks now to build my own @ScrapingBee and repeatedly AI has now told me that it can't do it 80% of my scraping is Google SERP results for Hotelist and even with residential IP proxies and solve CAPTCHA services and OpenSERP scraper it won't do it well for thousa…
Codex has changed my life as a solopreneur It's difficult to exaggerate how absurdly life-changing Codex has been for me as a solopreneur in recent months. And yet people have been saying 'but what do you actually use it for' (so I decided to write this). I work a few hours ea…
Sharing a few of my personal "skills" publicly because why not… https://t.co/xjfjNVDPKT Nº 1: apple-web-app I've wasted years of my life getting web apps to feel native in iOS Safari, so you don't have to
Well, holy shit. Thank you. #Shipaton https://t.co/67yhyt4vSZ
Token crowdfunding would be an incredible unlock for mega-projects like this. With enough tokens, I’d bet Astra could build a world-scale GTA-style game. Imagine if everyone could contribute their tokens… people would be able to build unbelievable things.
Introducing Murmur For the last two months, 90% of the code we shipped at [Macroscope](https://macroscope.com) was orchestrated through an internal tool we built for ourselves. It allowed each of our engineers to direct dozens of cloud agents in parallel and dramatically incre…
it's like buying a new iphone https://t.co/z8QnzsGX4Z
Ranked by when the bookmark was saved during this London date range. Saves means the post's public bookmark count on X, not saves on this site. Metrics are X's latest public counts; older items can be stale once they leave the recent-bookmarks sync window.