AI Coding Live News

Artificial Analysis Makes Time per Task Its Headline Performance Metric: GPT-6 Astra Finishes a Max-Effort Task in About 17 Minutes, Ahead of Opus 5.5 and Gemini 4 Carbon

Independent benchmarker Artificial Analysis announced on X on November 4 (17:34 UTC) a new version of its API performance benchmarking: the headline metric moves from output speed to Time per Task, the time to finish one Intelligence Index task (output tokens per task divided by end-to-end output speed). It covers about 1,000 serverless endpoints, measures speed from sending the request to the final token, and adds multi-turn agentic coding and knowledge-work workloads. Per its data, GPT-6 Astra at max effort runs at 51 tokens/s yet finishes a task in about 17 minutes, against about 26 for Claude Opus 5.5 (max) and about 29 for Gemini 4 Carbon (high).

Key Takeaways

  • Time per Task equals output tokens per Intelligence Index task divided by end-to-end output speed, so a model that is fast per token but verbose can finish later than a slower model that uses fewer tokens.
  • End-to-end output speed runs from sending the request to the final token, including the wait before the first token (prefill and hidden reasoning); output tokens now come from each provider's API-reported counts instead of the o200k_base tokenizer.
  • GPT-6 Astra (max) runs at 51 tokens/s with about 50k output tokens per task and takes about 17 minutes; Claude Opus 5.5 (max, 111 tokens/s) takes about 26 minutes and Gemini 4 Carbon (high, 71 tokens/s) about 29, using roughly 120k to 170k tokens per task.
  • At each lab's API default effort (medium for all three), GPT-6 Astra, GPT-6.1 Sol and Opus 5.5 cut Time per Task by about 3 to 5x and Cost per Task by about 2 to 4x, scoring about 5 to 11 points lower; Opus 5.5 drops from about 26 minutes and $10.04 to about 6.8 minutes and $2.45.
  • The official methodology page lists this as version 3.0.0 (October 30), with runs now every 6 hours and a new endpoint error rate metric.
Read full story

Axiom Formalizes the Entire Stacks Project in Lean With AI Agent Swarms: About 16 Million Lines, Billed as the Largest Reusable Formal Math Library Yet

Axiom released a Lean formalization of the entire Stacks Project on November 4 (official X post at 17:13 UTC, with over 2 million views). The roughly 7,500-page open-source algebraic geometry reference, started by Johan de Jong in 2005, becomes about 16 million lines of code, which Axiom calls the largest integrated, reusable formal math library ever built. Hierarchically coordinated AI agent swarms did the work and surfaced dozens of statements in the original that needed local fixes, with counterexamples. The library is open source and browsable side by side with the original text at stacks.axiommath.ai.

Axiom Formalizes the Entire Stacks Project in Lean With AI Agent Swarms: About 16 Million Lines, Billed as the Largest Reusable Formal Math Library Yet

Key Takeaways

  • Scale: about 7,500 pages of source text and roughly 16 million lines of Lean, which Axiom calls the largest integrated reusable formal math library (vendor claim).
  • Method: hierarchical AI agent swarms translate statements, search Mathlib for existing abstractions and build proofs in parallel, with multi-agent auditing and semantic cross-checks against the source to keep statements faithful.
  • Findings: the system surfaced dozens of statements needing local refinement, including missing hypotheses and edge cases in positive characteristic, and built explicit counterexamples where claims failed.
  • The permanent Stacks tag structure is preserved so every Lean declaration links back to the original text; stacks.axiommath.ai offers side-by-side reading and a dependency graph.
  • This follows Axiom's October 27 formalization of the Classification of Finite Simple Groups (CFSG); per de Jong's request, corrections are kept in Axiom's own repository rather than sent upstream.
Read full story
Linked Models & Agents:

Kling 4.0 Flash Is Fully Available With an API: 3-20 Second 720P Videos via Text, Image and Omni Reference Generation

Kling AI announced on November 4 that Kling 4.0 Flash is open to all users on the website and via API, and is also reachable through MCP, CLI and AI plugins, including Photoshop, Premiere Pro and After Effects. The official API changelog says the Flash API generates 3 to 20 second videos at 720P, supports text-to-video, image-to-video and Omni reference-to-video, accepts up to 15 inputs per task and bills by total duration.

Kling 4.0 Flash Is Fully Available With an API: 3-20 Second 720P Videos via Text, Image and Omni Reference Generation

Key Takeaways

  • Flash had been in early access for Ultra yearly subscribers since September 28; it is now open to all users and the API.
  • The API paths are kling-4.0-flash under /text-to-video, /image-to-video and /omni-video; image-to-video takes a single first-frame image.
  • Prompts can be up to 26,000 English characters, with up to 10 reference images and 5 reference videos, plus 21:9 and adaptive aspect ratios.
  • Billing is by the total duration of input and output video; unit prices are on the official pricing page and were not stated in the announcement.
Read full story
Linked Models & Agents:
⚡ Kling 4.0 Flash⚡ Kling 4.0🌐 Kling AI🌐 Kuaishou🌐 Adobe

AMD Q3 2026: Data Center Revenue Up 97% to $8.5B, First Helios Racks Running for Anthropic and OpenAI, Q4 Guide About $17B

AMD reported Q3 2026 results on November 3. Total revenue was $13.377B, up 45% year over year, and the Data Center segment hit a record $8.546B, up 97% year over year and 27% sequentially, driven by EPYC server CPUs and the newly launched Instinct MI450 Series GPUs. AMD says Anthropic, Meta, Microsoft, OpenAI and Oracle Cloud Infrastructure are running models and workloads on the first Helios rack-scale systems. It guided Q4 revenue to about $17B, plus or minus 3%, roughly 66% year-over-year growth at the midpoint.

Key Takeaways

  • Data Center revenue was $8.546B, up 97% year over year and 27% sequentially, about 64% of total revenue versus roughly 47% a year ago; segment operating income was $2.882B at a 34% margin
  • The first Helios racks (Instinct MI450 Series GPUs plus 6th Gen EPYC) are running models for Anthropic, Meta, Microsoft, OpenAI and Oracle Cloud, and MI455X began volume shipments this quarter
  • Total revenue was $13.377B (+45%), with 56% non-GAAP gross margin and $2.09 non-GAAP EPS; GAAP net income of $2.428B includes a $1.097B fair-value change on customer warrants
  • Q4 guidance is about $17B plus or minus 3%, roughly +66% year over year and +27% sequentially at the midpoint, with about 55% non-GAAP gross margin
  • AMD also released ROCm 10 with ROCm.AI, introduced the Helion reference architecture for rack-scale agentic systems, and announced agreements to acquire World Labs and Taalas
Read full story
ADSponsored

SenseTime Ships SenseNova 6.8 Flash: An Office Agent Model With Long-Term Memory and Proactive Interaction That Builds Animated Slides, Motion Posters and Editable Blender 3D Projects

On the evening of November 2, SenseTime released the official version of SenseNova 6.8 Flash, a multimodal agent model with two main upgrades. First, long-term memory and proactive interaction: it keeps user goals and constraints across tasks and sessions and flags affected items when information changes. Second, design generation across Web, SVG, Three.js, Blender, animated PPT and motion posters, with Figma integration. It is live in SenseNova Studio, the Raccoon assistant and the SenseNova Token Plan; the official X account says the Token Plan offers a free trial of 1,500 API requests every 5 hours. SenseTime says it beats some international frontier models on agent collaboration, data analysis and presentation generation, but the announcement lists no specific scores.

SenseTime Ships SenseNova 6.8 Flash: An Office Agent Model With Long-Term Memory and Proactive Interaction That Builds Animated Slides, Motion Posters and Editable Blender 3D Projects

Key Takeaways

  • The official release landed on the evening of November 2, positioned as a multimodal agent model for office collaboration and design delivery
  • Long-term memory plus proactive interaction: it remembers goals, constraints and preferences across sessions and suggests changes when related information shifts (demos ran on an internal Raccoon build)
  • Design output spans Web, SVG, Three.js, Blender, animated PPT and motion posters, producing editable PPTX files and Blender projects, with Figma integration
  • Available in SenseNova Studio, the Raccoon assistant and the SenseNova Token Plan; the official X post cites 1,500 free API requests every 5 hours
  • SenseTime only says it beats some international frontier models on agent collaboration, data analysis and presentation generation; no scores were published and there is no independent evaluation yet
Read full story
Linked Models & Agents:
⚡ SenseNova 6.8 Flash⚡ SenseNova Loop-9B-Preview🤖 Raccoon🌐 SenseTime

Fireworks Forge Launches: Ultra-fast Inference Preview Hits 1,500 Tokens/s, Half-Price Background Mode, Nexus Desktop for Codex and Claude Desktop, Sovereign Private Preview

At its first Forge conference on November 3, open-model inference platform Fireworks launched a batch of products. Ultra-fast, powered by NVIDIA Blackwell, is in public preview at up to 1,500 tokens per second on DeepSeek V4.1 Flash, cutting a 30-turn agent task from 1 minute to 8 seconds. Background Mode runs deferrable work at half price, alongside multi-day prompt caching and higher rate limits. Nexus Desktop brings open-model routing into the Codex app, Claude Desktop and OpenCode, with Pro plans from $8 per month. Fireworks also announced No Eval, serverless LoRA inference, the Fireworks Sovereign private preview and a 60+ partner Frontier Ecosystem.

Fireworks Forge Launches: Ultra-fast Inference Preview Hits 1,500 Tokens/s, Half-Price Background Mode, Nexus Desktop for Codex and Claude Desktop, Sovereign Private Preview

Key Takeaways

  • Ultra-fast public preview: on NVIDIA Blackwell, up to 1,500 tokens per second on DeepSeek V4.1 Flash; in Fireworks' benchmark a 30-turn agent task fell from 1 minute to 8 seconds (Fireworks blog)
  • Cost options: Background Mode runs deferrable work at half price; multi-day prompt caching cuts the cost of resuming long context; higher serverless rate limits and Elastic Burst are generally available
  • Nexus Desktop launches: personalized routing across open and closed models inside the Codex app, Claude Desktop and OpenCode; Pro from $8 per month, Teams from $10 per seat per month
  • Training: No Eval (private preview) turns production traces into task evals; serverless LoRA inference (public preview) starts with GLM 5.3 Flash at per-token pricing with no idle charge; free training on Muse Glimmer 30B through November 30
  • Enterprise: Fireworks Sovereign (private preview) runs the inference engine in a customer's own cloud or data center; Fireworks says it already manages over 25,000 GPUs in customer environments; plus a 60+ partner Frontier Ecosystem
Read full story

Google Turns Gemini and Search Off by Default for K-12 Student Accounts Until Admins Opt In, Launches Guided Learning in Classroom Globally

On November 3, Google VP and GM of Education Chris Phillips announced on the official Google blog that Gemini, Gemini Notebook, Gemini in Classroom and Google Search will be entirely off for K-12 student accounts until school administrators explicitly turn them on. Guided Learning is globally available in Google Classroom starting that day and is coming to Search for student accounts, with a pilot in select U.S. schools later this month. Because Search now includes AI Mode and AI Overviews, schools that want AI fully off also lose Search, which drew sharp backlash; Google later clarified on X that Search can be enabled on its own. EdWeek and AP report the change starts early next year; Google has given no exact date.

Google Turns Gemini and Search Off by Default for K-12 Student Accounts Until Admins Opt In, Launches Guided Learning in Classroom Globally

Key Takeaways

  • Off by default: Gemini, Gemini Notebook, Gemini in Classroom and Google Search are entirely off for K-12 student accounts until admins explicitly enable them (Google blog)
  • The controversy: Search now includes AI Mode and AI Overviews with no AI-free option, so student groups with AI fully off lose Search too (per EdWeek and NBC News)
  • Google clarified on X that schools can turn on Search without Gemini products, and that AI Mode and AI Overviews for students will guide them step by step instead of giving answers
  • Guided Learning is globally available in Google Classroom starting November 3; the Search version pilots in select U.S. schools later this month before wider expansion
  • Timeline: EdWeek and AP report the change starts early next year; Google only says it will share specifics in the coming months, with no exact date
Read full story
Linked Models & Agents:
⚡ Gemini🌐 Google

fal Announces $1.65B Across Series E and F for Generative Media Inference, Led by Sequoia and Bessemer with NVIDIA

fal, which hosts inference for image, video and audio models, announced on its official X account and blog on November 3 that it raised a combined $1.65B across Series E and Series F. Sequoia Capital led the Series E, closed earlier this year, and Bessemer Venture Partners led the Series F with continued investment from NVIDIA. fal did not disclose valuation or per-round amounts; Bloomberg reported the Series F at $1.3B at a $16B valuation, double the $8B from April. fal says the money funds inference capacity, hiring, and research and platform work in 2027.

fal Announces $1.65B Across Series E and F for Generative Media Inference, Led by Sequoia and Bessemer with NVIDIA

Key Takeaways

  • Confirmed by fal: $1.65B combined across Series E and F, Sequoia led E, Bessemer led F, NVIDIA continued investing (fal blog)
  • fal did not disclose valuation; Bloomberg reported the Series F at $1.3B at a $16B valuation and the Series E at $350M at $8B
  • Per Bloomberg, CEO Burkay Gur said demand spiked so much over the summer that fal had to rate limit customers, driving the large raise
  • Funds go to inference capacity, team growth and new research in 2027; fal hosts many third-party media models such as Seedance, Kling, Veo and FLUX
Read full story

X Discussion: Sam Altman Says People Should Always Control the Future and That This Should Ultimately Constrain AI Progress

At 01:40 UTC on November 4, OpenAI CEO Sam Altman (@sama) posted on X that "people should always be in control of the future," saying OpenAI is against the idea of people being relegated to doing things that "AI systems think makes sense to reward in humans," and that people should not cede control of the future to superintelligence, a requirement that "should ultimately constrain AI progress." Within about 25 minutes it drew roughly 1,360 likes, 337 replies and nearly 100K views; Francois Chollet and others voiced support while many replies pushed back. This is Altman's stated view, not a new OpenAI policy or product announcement.

Key Takeaways

  • Engagement: about 1,360 likes, 337 replies, 89 reposts, 74 quotes and roughly 99K views within about 25 minutes (per the X API); the high reply ratio signals a contested post
  • Three core lines: people should always be in control of the future; OpenAI rejects people being relegated to doing what "AI systems think makes sense to reward in humans"; people should not cede the future to superintelligence, and that requirement "should ultimately constrain AI progress"
  • Support: Francois Chollet (@fchollet) posted "Co-sign," saying the only future worth building is one where AI remains a tool in human hands; Matthew Berman said Altman made the same point in their interview last week
  • Pushback: replies asked "which people?", argued that AI systems "don't think anything," or contrasted the post with Altman's recent comments on RAM and concentrating compute in data centers
  • The post does not say where the quoted phrase comes from and names no concrete policy or timeline; online links to a GPT-6.2 Astra release date are speculation
Read full story
Linked Models & Agents:

X Discussion: Greg Isenberg Says He Talks to His Agents More Than His Human Teammates, Shares a Full Agent-Run Company Stack

On November 3, founder and Late Checkout CEO Greg Isenberg (@gregisenberg) posted a long thread on X saying his team has 50+ people in 12 countries, yet he "talks to my agents more than my human teammates." He listed an agent-driven stack covering ideation, design, build, user testing, bug fixing and data review. Within hours it drew about 1,050 likes, 2,300 bookmarks and 183 replies. This is a personal workflow and opinion, not verified productivity data.

Key Takeaways

  • Engagement: about 1,050 likes, 2,300 bookmarks, 183 replies and 75K views within hours (per the X API); bookmarks far exceed likes, so readers are saving it as a checklist
  • Coverage: ideation, design, build, user testing, bug fixing and data review are all handed to agents; humans handle "creative feedback, relationships and telling the agents what they got wrong"
  • Build: pingdotgg/t3code as the control surface and stablyai/orca to run parallel agents, each in its own git worktree
  • Quality control: every output is scored 1-10 by an LLM judge and anything under 8 goes back; every agent mistake becomes a new skill
  • All of this is self-reported; no verifiable productivity or cost figures were published
Read full story
ADSponsored

Vercel Security Review Enters Public Beta: Vulnerability Review on Every GitHub Push, One-Click Fixes with Vercel Agent

On November 3 (US Pacific time), Vercel launched Security Review in public beta. It is a new Vercel Agent capability alongside Code Review and Investigation: once enabled, every push to connected GitHub repositories triggers a diff-only vulnerability review that finishes in seconds. Findings land in the Security dashboard, PR comments and the CLI, and can be fixed with one click by Vercel Agent or pulled into your own coding agent via vercel security vulnerabilities. It is available to Pro and Enterprise teams, and reviews are free until November 10.

Vercel Security Review Enters Public Beta: Vulnerability Review on Every GitHub Push, One-Click Fixes with Vercel Agent

Key Takeaways

  • Trigger: every GitHub push (including direct pushes to production) is reviewed automatically; only the diff is scanned, which Vercel says finishes in seconds, so it can run on every preview and production deployment
  • Beyond pattern matching: the agent traces how changed code is reached, checks existing protections and rechecks each finding, which Vercel says catches logic flaws such as missing authorization checks
  • Teams can write security policies in plain language, scoped to projects or the whole team, and manage them with vercel security policy
  • Pricing: Vercel Agent rate, model tokens at provider cost with no markup, plus $0.25 per million tokens; reviews are free until November 10, 2026, while Agent fixes are billed
  • Availability: public beta for Pro and Enterprise teams; Vercel has not published detection-rate or false-positive benchmarks
Read full story

X Discussion: Grok Bot Engineer poteto Calls Adversarial Agent Code Reviews "Mostly a Waste of Tokens" and Argues for Empirical Plus Formal Verification Instead

On November 3, @poteto (lauren), whose bio says she works on Grok @bot at SpaceXSI, is on the React Compiler core team, and previously worked at Cursor, Meta and Netflix, posted what she called "maybe a hot take": she now considers adversarial reviews mostly a waste of tokens and thinks those tokens are far better spent on empirical combined with formal verification. She says she has updated her agent skill pack pstack to use its interrogate (multi-model adversarial review) skill less and may eventually remove it. She adds that she has found very little value in code review in the abstract, because agents tend to get lost in nitpicks and YAGNIs. The post drew about 906K views, 9,227 likes and 5,538 bookmarks. It is a personal opinion that sparked debate over the value of AI code review.

Key Takeaways

  • Opinion (personal, not an official finding): adversarial reviews are "mostly a waste of tokens"; empirical plus formal verification is the better use of them
  • Action: the author says she has made pstack use the interrogate skill less and may remove it; at fetch time the public pstack folder in GitHub cursor/plugins had no commits after October 27, so the change is not visible there yet
  • What interrogate is: per its public SKILL.md, it spawns one read-only reviewer per configured model (defaults Claude Opus 5.5 xhigh and Grok 4.7 xhigh fast) to attack the diff, then sorts findings into Act on, Consider, Noted and Dismissed without auto-applying fixes
  • Author (per her X and GitHub bios): engineer on Grok Bot at SpaceXSI, React Compiler core team, previously at Cursor, Meta and Netflix
  • Reach: about 906K views, 9,227 likes, 5,538 bookmarks, 668 replies, 356 reposts and 210 quotes
Read full story

Grok Bot Rolls Out a New Shopping Experience: Find the Best Deal, Compare Product Cards, and Track Orders After You Approve the Buy

On November 3, the official Grok Bot account @bot posted a video promoting a new shopping experience: have the Bot find the best deal, compare items, and track all your orders. The features come from the official changelog for version 0.78.1 (which includes 0.78.0), dated October 27: products appear as cards with photo, rating, price and store plus up to two badges, and three or four results scroll in a carousel. Product pages list in-stock options first, and Buy now starts an order you approve. After purchase the Bot tracks shipping and delivery, with shipment cards showing carrier and stage. Shop Pay can be connected in the Vault Payments tab and set as the preferred method.

Grok Bot Rolls Out a New Shopping Experience: Find the Best Deal, Compare Product Cards, and Track Orders After You Approve the Buy

Key Takeaways

  • The official post went out at 21:50 UTC on November 3 with a 17-second demo video; about 1,687 likes, 122 reposts, 292 replies and 112K views at fetch time
  • Source of the features: the official 0.78.1 changelog entry (October 27, includes 0.78.0), titled Shopping cards and subscription templates
  • Product cards: photo, rating, price and store, up to 2 badges such as Top rated, 3 or 4 results in a carousel; product pages list in-stock options first and disable options no store has
  • Ordering and tracking: orders started with Buy now need your approval; afterward the Bot reports shipping and arrival, and shipment cards show carrier and stage
  • Payments: the Vault has had a Payments tab since 0.77.0 (October 26); 0.78.1 lets you connect Shop Pay and make it the method Bots use first
Read full story
Linked Models & Agents:

Pruna Open-Sources P-H3-Image: MiniMax-H3 Video Model Turned Into an Image Generation and Editing Model, 8 Steps, 5x Faster, 7x Smaller

On November 3, model-compression company Pruna AI open-sourced P-H3-Image, which turns MiniMax-H3, the open-weights video model MiniMax released this summer, into a text-to-image and image-editing model. Per Pruna: sampling drops from 50 to 8 steps, a 4 MP image on one B200 goes from 12.4 s to 2.6 s, the 4-bit set is a 20 GB download (vs 143 GB for H3), and peak VRAM at 8 MP is about 21 GB. It renders 2 to 16 MP and edits with multiple reference images. Weights are on Hugging Face with native ComfyUI support. It keeps the MiniMax H3 Community License, which by default excludes the EU, UK, South Korea and the US.

Pruna Open-Sources P-H3-Image: MiniMax-H3 Video Model Turned Into an Image Generation and Editing Model, 8 Steps, 5x Faster, 7x Smaller

Key Takeaways

  • Speed (Pruna figures): 8 steps instead of 50; on one B200 a 4 MP image goes from 12.4 s to 2.6 s and 8 MP from 30.6 s to 5.8 s; the 4-bit set does 4 MP in about 6.3 s on an L40S
  • Size: the transformer shrinks from 33B to 20B parameters and the text encoder is distilled from 32B to 4B (67 GB to 9 GB); downloads are 55 GB in bf16 and 20 GB in 4-bit vs 143 GB for H3
  • Memory: peak VRAM at 8 MP is about 56 GB in bf16 and 21 GB in 4-bit; the bf16 diffusers pipeline with the prompt upsampler needs about 100 GB
  • Capabilities: renders 2 to 16 MP, strongest at photorealistic and documentary photography, film stills, anime and graphics with short text; supports multi-reference editing (8 images per the X post, 9 per the blog)
  • License: MiniMax H3 Community License; the EU, UK, South Korea and US need a separate license from MiniMax, and products must show "Powered by MiniMax H3"
Read full story
Linked Models & Agents:
⚡ P-H3-Image⚡ MiniMax-H3⚡ Qwen3.5-9B🌐 Pruna AI🌐 MiniMax🌐 Hugging Face🌐 ComfyUI

X Discussion: Paul Graham Pushes Back on an "AI Bubble" Post, Saying AI Cannot Be Both Fake and Destroying Jobs

On November 2, X user Fav (@favwontmiss) posted that "the AI bubble bursting is going to be one of the biggest reality checks in tech history," accusing AI companies of burning billions, destroying jobs, draining natural resources and forcing products nobody asked for into daily life. The post drew about 6,600 likes, 670 reposts and 370,000 views. On November 3, Y Combinator co-founder Paul Graham (@paulg) replied: "You can't claim both that AI is fake and that it's destroying jobs. If it were fake it wouldn't be able to." His reply drew about 1,600 likes and 44,000 views, and the debate reached X trending. These are opinions from both sides, not established facts.

Key Takeaways

  • The original post: Fav (@favwontmiss) called an AI bubble burst "one of the biggest reality checks in tech history," with about 6,600 likes, 670 reposts and 370,000 views; see the original post.
  • Paul Graham's rebuttal: the critiques "AI is fake" and "AI is destroying jobs" contradict each other; see his reply, with about 1,600 likes and 44,000 views.
  • Where the sides talk past each other: "bubble" is about valuations and whether spending pays back, while "replacing jobs" is about whether the capability is real. Both can hold at once (useful technology that is still overvalued), which is a recurring point in the replies.
  • Why it matters to developers: the argument does not change what the tools can do, but it shapes enterprise AI budgets, hiring narratives and public acceptance of AI coding products.
Read full story
Linked Models & Agents: