AI Research & Models
Rather than a product launch, OpenAI published proofs and Lean-verified certificates for ten long-standing problems in geometry, coding theory, group theory, operator algebras, and complexity theory, all produced by an internal build of Astra, described as OpenAI's next major model. OpenAI says it prepared the manuscripts but that the mathematical arguments themselves came from the system.
why it mattersIt's the first concrete signal of what OpenAI's next frontier model can do, delivered as a research result rather than a benchmark chart.
Developers can now pick a reasoning depth alongside the model when handing a task to Copilot's cloud agent, across VS Code, Copilot CLI, and the GitHub Copilot app on all paid plans. Higher levels improve answers on complex problems but burn more credits per task.
why it mattersGives teams a lever to trade cost against depth on hard architectural and debugging work instead of a one-size-fits-all setting.
GitHub Copilot's cloud agent automations can be configured to fire when a specific comment appears on an issue or pull request, with built-in templates for generating docs, investigating error logs, and spinning up follow-up refactor tickets.
Luna's API price drops 80% and Terra's 20%, following OpenAI's claim that GPT-5.6 optimized its own serving efficiency. A new Fast mode for Sol runs up to 2.5x quicker than Standard at double the price, replacing the old Priority Processing option.
why it mattersCodex and other coding agents run on the GPT-5.6 family, so this directly cuts the per-token cost of AI-assisted coding.
As of August 2, obligations under the AI Act's Article 50 kick in: chatbot disclosure, synthetic-content labeling, and deepfake marking are now required, and many high-risk system requirements move from roadmap to enforcement, backed by fines up to €15 million or 3% of global revenue. Some sensitive-domain and product-embedded systems get extended compliance windows into 2027 and 2028.
why it mattersThe first hard enforcement date for general-purpose and high-risk AI obligations in the EU, with real financial penalties attached.
InfoOpsBench, a new live benchmark drawing on over 2,100 real information-operation samples from Russian, Chinese, and Iranian state-linked media assets, tested 17 models from 8 providers and found refusal rates for influence-campaign content ranging from just 8.8% to 94.5%, since this content often doesn't trigger standard safety refusals.
why it mattersLands right as the EU's synthetic-content transparency rules take effect, underscoring how uneven model safety still is on this specific risk.
Self-serve migration from gitlab.com and GitLab Self-Managed to GitHub Enterprise Cloud is now generally available, via the gh gl2gh CLI extension, supporting both single-repo and scripted bulk migrations with staging in GitHub-owned or self-hosted blob storage.
A new managed-settings capability lets admins mark specific Copilot configuration keys as overridable, so teams can customize their own settings via team-mappings.json files while compliance-critical keys stay locked at the enterprise level, spanning VS Code, Copilot CLI, the Copilot app, and cloud agent.
With the Senate's August recess days away, the crypto market-structure bill still lacks the 60 votes needed for cloture; two Democrats are withholding support pending an ethics provision barring officials' crypto business ties, and prediction markets put 2026 passage odds around 30%. Bitcoin was trading roughly flat near $62,500-$65,000, a muted reaction analysts read as investors not positioning heavily either way.
why it mattersA miss this week pushes comprehensive US crypto market-structure rules off the table until next year.
Hashdex is closing the Hashdex Bitcoin ETF (NYSE Arca: DEFI), which held just $14.7 million versus tens of billions in larger rivals like BlackRock's IBIT. Trading ends August 17, with a cash liquidating distribution to remaining shareholders expected around August 28.
why it mattersThe first closure among the spot bitcoin ETF cohort shows how sharply demand has concentrated in a handful of the largest issuers.
Price is 1.20× the 200-week average. Weekly closes, USD, as of 28 October 2026 · data blockchain.com.