Dr. Harish Gupta

Bug fixes shipping to Grok Build (release notes will be available in the TUI) 0.1.214 - Rolling out X search and a much faster web-search (we plan to complete this by EOD) - Windows rendering bugs fix on powershell - Fix arrow-up keybinding in modals - Fix non-vim mode keybinding hints - Fix Cmd+Click on wrapped links - Filter out sessions that had no user input from picker - Support hookSpecificOutput.tool_input override - Prevent crash on exit when there are MCP servers with expiring tokens - Auto-refresh Skills when plugins change

It’s Codex Thursday, and yes, we have updates for you. First up: Appshots, a new way to bring the context of what you’re working on into Codex. On your Mac, press Command-Command to attach your app window to a Codex thread. Codex gets both a screenshot and text from the window, including content beyond what’s visible onscreen. Appshots are available across plans on Mac, with enterprise access coming soon.

I called my engineer friend at SpaceX the other day. 1am Pacific. 3am in Starbase. He was still in the office and not going home any time soon. And he was happy. Energized. Because he's directly influencing the course of a multi-planetary future for humanity. On a fundamental level, this is why Elon companies win. Young, high-competence people are given exceptional individual agency and semi-impossible problems. And they know that their contribution is essential. Any company that does this is much more likely to succeed. Elon does this without fail. Inspires me a lot.

An update: we’re 3xing the rate limits for Gemini models across all paid tiers in Antigravity and resetting everyone’s Gemini quota for the week. We understand some people hit their rate limits quickly and wanted to respond fast. Lots more to come and enjoy building!

I think we are in the process of discovering that humans are bad at mathematics. A gibbon would scoff at an Olympic climber; the human body is not optimized for climbing. We're getting mounting evidence that our brain may be far from optimal for advanced math. No disrespect to mathematicians. I was a two-time IMO silver medalist; I'm just smart enough to appreciate that some people are much, much smarter. But it's starting to look like math is somewhere on the midpoint of Moravec’s paradox; between chess (computers surpassed us some time back) and cooking (probably many years to go, for general capabilities). It's fairly hard for us, and so it looks like computers are going to surpass us. AI math still has important weaknesses. For instance, AI systems have not yet shown any ability to identify interesting research directions, or develop new concepts on which further work can build. But they are starting to look superhuman in some respects. And once AI *starts* to become superhuman in some domain, we all know what happens next.