Tuesday, Oct 27, 2026

AI;DR

2026-10-27 · 13 stories

1. openaiOpenAI launched GPT-6.1 Terra, a model that automates professional workflows by interpreting screens and acting across browsers, desktops, and apps. It also cut standard API prices 50% to $1 per million input tokens and $5 per million output tokens, and on the Agents' Last Exam benchmark it matches GPT-6 Astra while running over 3x faster and at one-tenth the cost per token.
2. anthropicAnthropic's internal Claude model produced a deterministic 2^{o(n)}-time algorithm for 3-SAT (and #3-SAT), which the lab says refutes the Exponential Time Hypothesis; the proof is formalized in Lean 4.
3. openaiOpenAI says its internal models have solved three major open problems in math, computer science, and physics, including one Millennium Prize Problem worth $1 million; outside experts, including a Nobel laureate, are now verifying the proofs.
4. agentAxiom used new AI agents to translate the 15,000-page Classification of Finite Simple Groups into Lean over 24 days, repairing errors in the original text and producing a machine-checkable version of the 'periodic table of symmetry'.
5. openaiGPT-6.1 Terra (Max) scored 48 on the Artificial Analysis benchmark, which rates models across quality, price, performance, and context window.
6. microsoftMicrosoft previewed MAI-Image-2.7-Preview, which ranks No. 2 on the AA-Image-Editing v2.1 leaderboard, trailing only OpenAI's GPT Image 2.5 Sunburst (max) and beating systems from Meta, Google, and xAI. It leads four of seven editing categories and gained 57 Elo in composition and framing over MAI-Image-2.6.
7. anthropicAnthropic's S-1 filing shows an 85% gross margin in H1 from running its models, with compute and infrastructure costs falling from ~$2.50 per $1 of revenue in Q1 2025 to under 50 cents in Q2 2026 as it pushes toward profitability.+1
8. metaNvidia will invest $3 billion in Meta's planned equity raise, expanding their Muse partnership as Meta deploys more Vera Rubin and Vera CPUs; AMD is separately investing $1 billion in Meta for AI infrastructure, including Helios rack-scale systems already installed and in testing.+2
9. anthropicBroadcom CEO Hock Tan held 11th-hour talks, agreeing to higher rates and loan guarantees to secure bank participation in the $63 billion Anthropic debt deal, the largest-ever fundraising for AI infrastructure.
10. openaiApple added a beta AI assistant built on Apple and OpenAI models to Keynote, Pages, Numbers, and Logic Pro, plus MCP support to Keynote, Pages, and Numbers; the assistant can draft and restructure content in Pages and organize data in Numbers.
11. openaiA UK government watchdog is considering a probe into the Home Office's use of ChatGPT to process asylum claims over concerns about accuracy and secrecy around its deployment.
12. regulationThe UK government is reviewing a proposed 'AI covenant' that would require data center operators to increase local community spending as a condition of operation, tying infrastructure growth to regional economic benefits.
13. open-sourceOn 15-16 October 2026, a crawler identifying as Roblox downloaded 1,027 files from 712 projects across Open3DLab, SFMLab, and SmutBase, copying 145.5 GB of creators' work including adult content, likely for AI training.