All AI news

AIOpenAI published 719 AI-generated math proofs covering 372 result families, after withdrawing 3 for a symbol error. Reports say the release falls short of the AGMAI advisory group's standards, since it uses proprietary models, includes reasoning chains for only 10 manuscripts, and leaves about 42% unformalized. Terence Tao argues that rapidly solving famous problems harms the mathematical community's understanding and collaboration.

AIGoogle Cloud introduced the Gemini agent, a general office agent that can search, write emails, build slides, analyze data, run code, and coordinate sub-agents. It can take on an enterprise identity with email, calendar, and account, and it selects underlying models automatically, including Anthropic's Claude. The article presents this alongside OpenAI's Dots and Meta's Muse as competing office and personal agents.

AIGoogle Cloud unveiled Gemini Agent at its Gemini at Work 2026 event, a general-purpose work agent for enterprise customers that works across Gemini Enterprise and Workspace. Currently the agent supports Gemini and Claude models, with an API planned so developers can integrate it into third-party applications.

AIJeremy Howard says Jasmine Wang accessed an executive's email that OpenAI had given her access to, despite her request that the access be removed and IT's failure to remove it. He implies she was fired because of that IT failure, not misconduct on her part.

AISnyk moved its internal support agent, Snyk Assist, into the core Snyk product in September 2026, giving every paying customer access. Built on LangChain and LangGraph with observability in LangSmith, the agent answers questions in plain language and can open support cases or log feature requests. It runs as a single agent behind Slack, web and API surfaces, with tools attached per user permissions.

AIBloomberg Intelligence's Mandeep Singh says booming token growth indicates solid AI infrastructure demand, despite questions over OpenAI's revenue accounting. The source provides no further figures on token volumes or revenue.

AIAnthropic has barred users from exhibiting "sustained and needless abusive or cruel behavior" toward its models, according to a policy change first reported by The Verge. The San Francisco-based company says the ban does not apply to common user frustrations, model testing, or "dark creative themes." The change follows an August feature that lets Claude end conversations when a user is persistently harmful, which Anthropic framed as a safeguard for AI welfare.

AIAustralian AI data center operator Firmus, backed by Nvidia, has withdrawn its planned initial public offering, citing market volatility and conditions. Its board concluded the proposed terms did not adequately reflect the company's business strength and long-term growth outlook. Firmus said it will now pursue private market capital and consider other public and private options.

AITessl's blog post argues that teams should record agent mistakes as attributed, signed diary entries, then curate them into reusable context packs rather than adding unverified rules to files like AGENTS.md. The author describes a REST API case where an agent regenerated the OpenAPI spec and TypeScript client but missed the Go client, and the same lesson had to be re-taught in a fresh session.

AITessl argues that an AI-native organization collapses the handoff between people who own outcomes and the work itself, so product managers and designers can execute changes through agents. It says PR count and token spend are insufficient measures, and that merge rate better shows whether the new workflow is working. The article also says the boundary should follow decision authority, with engineers still owning architecture and data models.

AIThe author argues that system use cases, with actors, preconditions, scenarios, and acceptance criteria, work better than user stories as the input for AI code generation in enterprise business applications. He describes a process that skips the plan-and-task phase, reverse-engineers legacy systems into use cases and entity models for modernization, and recommends self-contained system verticals and risk-based review.

AIAI DevCon New York, running November 2–4 at Industry City in Brooklyn, centers its program on software factories, the systems needed to make agentic development repeatable, trustworthy and scalable. The article argues that moving from one developer using an agent to an engineering organization requires layers covering context and skills, harnesses and tools, orchestration, verification and evaluation, and feedback.

AIThe article explains how a software factory combines agents, tools, and engineering practices to take work from intent to verified output. It argues that teams should enforce domain rules, workflow gates, and tool permissions independently, version shared guidance and checks, and review lessons before reuse.

AIOpenAI's DevDay 2026 session demonstrates Codex shifting from a single-user tool to a team-oriented agent. The session shows a persistent personal agent investigating a 2am outage, from the first Slack message through a reviewed fix, using voice, Appshots, plugins, and meeting notes to keep the team informed.

AIOpenAI's DevDay 2026 video presents what's new in Codex across the CLI, app, and web. Live demos show moving from delegating individual tasks to having Codex tackle entire problems and goals. The source is a short description only, so no specific features or figures are confirmed.

AIOpenAI's DevDay 2026 session shows how its teams use ChatGPT to manage launches, research competitors, and turn expertise into tools. The source provides no further details on specific features, metrics, or availability.

AIA DevDay 2026 session from Higgsfield explores how its agents choose models and provision their own compute. It covers when to use dedicated GPUs versus hosted models, how to deliver predictable throughput, and where the approach can fail.

AIStack Overflow's small teams used Codex to build Stack Overflow for Agents and reimagine Stack Internal, according to a DevDay 2026 session. The talk covers lessons for accelerating R&D and bringing new products to market.

AIOpenAI's DevDay 2026 session shows developers how to cut AI costs while preserving quality. It covers measuring cost per completed task, choosing models and reasoning effort, and using prompt caching, Programmatic Tool Calling, and the Batch API.

AIOpenAI's YouTube video shows developers how to build plugins for ChatGPT that run a custom interface alongside a conversation. The plugins can bring selected context into the user's work with ChatGPT, according to the source's description of plugin extensions through Meetings and OpenAI Developers.

AISimon Willison has released ttok 0.4, a command-line tool for counting tokens built on OpenAI's open source tiktoken library. The update adds a --list-models command, fixes a Click warning, and updates CI, and the tool can run through uvx, for example with cat file.txt | uvx ttok.

AICornerstone OnDemand built Orion AI, a multi-agent system using Amazon Bedrock and the open source Strands Agents framework, that cut database diagnosis from 45 minutes to 10, a 78% reduction. The system also reduced manual lifecycle steps from more than 10 to a single interaction and filtered redundant alerts by a median of 65%. A three-person team delivered it in six months.

AIGeoffrey Hinton proposed that AI companies must prove their products are safe to regulators before release, comparing the requirement to the FDA's drug approval process. He said such a requirement should apply to AI, noting that drug approval can cost around $1 billion, and warned that AI self-improvement is accelerating.

AIMicbot says a procurement dispute with a Zhejiang customer over four wheeled-quadruped robots has been settled through negotiation, after reports of late P2 deliveries, a balance fault in a Curiosity S01 and a disagreement over secondary-development rights. The buyer, which ordered two P2 units for 580,000 yuan and later two S01 units at 160,000 yuan each, had refused research-only terms for software access. Micbot's October 6 statement said it supports customer secondary development but requires clear authorization and protection of core technology.

AIDonghua University researchers spun transistors, resistors and capacitors into a continuous fiber that functions as a circuit, using microfluidic encoded spinning, according to a Nature Electronics paper. The fibers integrated multicolor electroluminescence, analog and digital logic, and non-contact spatial sensing, and in demonstrations guided a robotic gripper and let a finger control a robotic arm and drone without touch.

AIA Chinese-led team published in Cell a three-dimensional spatiotemporal cell atlas covering rice from germinating seed to grain fill, along with a public portal and the RICE scGPT single-cell foundation model. The atlas combines single-nucleus RNA sequencing with BGI's Stereo-seq spatial transcriptomics across 10 organ and tissue types and 61 stages, defining 119 cell types and 133 subtypes.

AIShanghai AI Lab has open-sourced Intern-Decision, a family of 0.8B, 2B and 4B parameter models that return structured decisions with probabilities instead of free text. The developers self-report that the 4B model averages 90.02% accuracy across seven test suites, ahead of a commercial reference model at 88.74%, with about 44 milliseconds of local latency on a single RTX 4090. Weights are on Hugging Face, and MetaX says the models run on its hardware from launch.

AITencent introduced roughly eight vertical AI agent products between July and September, each built on an existing business such as games, music, WeChat or video conferencing. CraftBuddy generates 2D and 3D games from natural-language prompts with more than 40,000 prebuilt art assets, while MusicBuddy adds an AI chat panel to multitrack music editing. The products extend the "Buddy" family alongside WorkBuddy and CodeBuddy.

AIByteDance's Doubao app is now available as a native client on Huawei HarmonyOS PCs, shipping with Doubao-Seed-2.1 Pro and Doubao-Seed-2.1 Turbo. The app offers Chat and Work modes, with Work supporting goal-based tasks, file and folder access, scheduled tasks and parallel browsing tabs. Users can download it by searching for Doubao in the HarmonyOS app store.

AIOf 1,933 IROS 2026 papers, Robot Learning/Embodied AI appears in about 809, while Navigation/Planning covers 564 and Perception/Vision 556. The article argues large models are being embedded into traditional planning, geometry, and control rather than replacing them. Vision-language-action models are shifting toward efficiency, 3D understanding, memory, and system integration.

AIAt IROS 2026 in Pittsburgh, the Best Paper Award went to Yumin Lee, Hyoseok Ju and Giseop Kim for LT-Mem, a volatility-aware spatio-temporal memory system for lifelong robot scene understanding. The Best Student Paper Award went to Pei-An Hsieh and colleagues for flatness-preserving residual learning enabling real-time tight quadrotor formation flight. Other honors included a humanoid tennis-skills paper and SteadyTray, a humanoid tray-transport study.

AIThe Chinese Academy of Sciences Hong Kong Innovation Research Institute's CAIR centre launched CARES 4.0, a multimodal clinical agent system built on a Harness agent framework, at the 4th Hong Kong clinical robotics and embodied AI symposium. Unlike its predecessor, which only answered questions, CARES 4.0 can carry out tasks such as generating department reports and assisting diagnosis from CT, MRI, ultrasound, endoscopy and EEG data. The framework and general toolkit are released, with the medical toolkit to follow.

AIHuawei launched the OceanStor M900 and Nvidia introduced CMX Context Memory Storage to manage inference KV Cache in tiered storage, reducing repeated computation on cache hits. Sources say SSD requirements for this workload are not standardized: some plans have moved from 3 DWPD to 9 DWPD, and the industry may need 6–12 months to reach a common product standard.

AINaive AI, a Tsinghua-linked company founded seven months ago, has raised $400 million across three rounds at a post-money valuation of $1.42 billion. The company's founder is Dai Jifeng, an associate professor in Tsinghua's Department of Electronic Engineering, and its team has not given interviews or published a product introduction.

AIZhang Lei, then a recent PhD graduate working mainly on image retrieval, beat a team led by face recognition expert Li Ziqing in a 2002 Microsoft Research Asia contest to build a face detection system. He cut the false-positive rate from roughly 50% to 1%, and the algorithm was integrated into Windows. Several members of his team later became prominent figures in China's technology industry.

AIAt IROS 2026, Simplexity Robotics presented a robot that autonomously tends two CNC machines, grasping workpieces, loading them into chucks, and placing finished parts, with 0.5 mm clearance. The system was trained on only 600 real robot trajectories, using the SimpleWAM world action model, DRAM recurrent memory, and DPE candidate action scoring. The talk was reported as an edited transcript from the conference presentation.

AIBASAL Intelligence, founded by Tsinghua AIR's first PhD graduate Li Jianxiong, has secured lead funding from Five Source Capital, with Ivy Capital, Linear Capital and WestSummit Capital participating. The company says it is betting on an action-native In-Context embodied foundation model that lets robots learn on site from a few human demonstrations and trial attempts within minutes, without retraining after a scene change.