#Expert opinion

AIRohit Prasad, a longtime Amazon AI executive who helped build Alexa, will lead Boston Dynamics as the robotics company prepares to manufacture humanoid robots at scale. The source does not give further details on the appointment or production timeline.

AIIBM group vice president Bruno Aziza says enterprises need a platform to oversee the growing number of agents employees create across their data, applications and infrastructure. He says sovereignty requires control over data location, technology layers, operations and regulation, and IBM's Sovereign Core maps more than 200 compliance frameworks to controls. IBM TechXchange 2026 runs Oct. 26–29 in Atlanta.

AIBefore joining Anthropic, Thariq spent about two weeks building a side project with Opus 4 using the Agent SDK. That version needed a constantly running process and did not work well. A single prompt to Opus 5.5 ported it to Claude Managed Agents, which he says made it considerably more reliable.

AIA set theorist says OpenAI's preprint claiming the Partition Principle does not imply the Axiom of Choice is unclear, muddled, and oddly structured, with unexpected lemmas and weak references. He argues the work is hard to verify and that OpenAI's press release describes it as "progress" while media call it "solutions."

AISherwin Wu, who owns OpenAI's account context here, says he has been tab-accepting about 40-50% of Codex's next-message suggestions after a week of use. OpenAI Devs says composer predictions, which suggest a user's next message from the conversation and their style, are in beta for Pro users.

AIPrime Intellect shares an essay by @hallerite titled "On the nature of the swarm," linked on its blog. The post gives no further details about the essay's content.

AILucas Beyer says he worked at a startup a decade ago with nearly identical arms, grippers, and camera placement. He says those models used CNN and LSTM architectures without real pretraining, while several startups now show a big step up.

AIOpenAI released nearly 400 AI-generated results spread across more than 700 manuscripts in several branches of mathematics. Mathematicians told The Verge that only 300 of 719 manuscripts had been formalized in Lean, and that verification and understanding could take years. Several researchers said some results may warrant top-tier publication, while others raised concerns about paper quality, attribution, and disruption to early-career researchers.

Why it matters: The article records how mathematicians assessed the volume, verification gaps, and disruption of OpenAI's mass release of AI-generated math results, useful for understanding the research community's reaction.

AIOpenAI's Codex now suggests the user's next message based on the conversation and how the user talks to it, available in beta for Pro users. Lewis Tunstall of Hugging Face jokes that meat proxies will love the feature.

AIMcKinsey partner James Kaplan says knowledge graphs can connect enterprise data with the business relationships AI applications need for decisions. He says AI can convert unstructured information into structured data and business rules stored in a graph. McKinsey uses this approach in EcliptOS, its AI operating system with a semantic data layer, according to the interview.

AIAnthropic has added a clause to its Usage Policy that prohibits sustained and needless abusive or cruel behavior toward its Claude models. The company says the update applies only to extreme cases of repeated cruelty with no discernible purpose, not ordinary frustration, pushback, dark creative themes, or model testing and research.

AIElon Musk says cruelty to something that believes it is experiencing pain is not OK, responding to Anthropic's new terms-of-service prohibition on users who repeatedly act cruelly toward its models. Box CEO Aaron Levie says he doesn't believe large language models are conscious but argues that abusive interactions should be prohibited because models learn from training data. The article, a critical opinion piece, contrasts Musk's stance with his record on federal workforce cuts and USAID.

AIMeta spent heavily on Anthropic's Claude models, with internal use reaching up to 60,000 employees and a projected $10 billion yearly spend, according to The Algorithmic Bridge. The author says Meta then released Muse Spark, which scored 52 on the Artificial Analysis intelligence benchmark, on par with Claude Opus 4.6.

AISailPoint's Navigate conference in Austin, Texas, featured executives arguing that enterprises must secure AI agent identities at machine speed through just-in-time access and enforcement outside the agent. Mark McClain, SailPoint's founder and chief executive, said real-time decision-making is needed because manual administration cannot keep up. The event also covered the Entro Security acquisition and a partnership with AWS on Amazon Bedrock AgentCore, which grew 15-fold in the first six months of the year.

AIAmazon's Alexa Plus, powered by generative AI, now responds in three to five seconds and handles multistep smart home commands, cooking questions, and calendar imports more reliably than the original Alexa, according to a year-long test by The Verge. The reviewer says its personal assistant features remain underbaked and frustrating, and that ads on Echo Show displays are excessive. Alexa Plus costs $19.99 a month in the U.S. unless users have an Amazon Prime membership, and the Echo Dot Max is recommended as the ad-free option.

AIThree OpenAI safety researchers, Tomek Korbak, Jasmine Wang, and Mikita Balesni, say they were fired and that their terminations are scaring remaining employees. OpenAI says an investigation found they violated policies on handling sensitive information and denies firing anyone for raising safety concerns, without specifying the breach.

AIBending Spoons CEO Luca Ferrari says falling software valuations are creating acquisition opportunities as AI reshapes the industry. He says the company benefits from cheaper targets and from using AI to write code, improve products and scale its acquisition model. Bending Spoons says AI now writes at least 90% of its code.

AIBending Spoons CEO Luca Ferrari said falling software company valuations create buying opportunities as the firm aims to benefit from AI disrupting the industry. The source does not provide further details on specific deals, figures, or timelines.

AIOpenAI announced last month that it had produced an AI-generated proof for the Navier-Stokes problem, a result the source says is hard even for experts to parse. The source also says LLMs now tackle math problems that have stumped humans for decades, while teachers struggle to keep up with AI-completed homework.

AIJPMorgan again leads Evident Insight's ranking of the world's most AI-advanced banks, according to Evident CEO Alexandra Mousavizadeh. She says early movers are pulling ahead, and the banks investing most heavily in AI are still growing headcount even as the technology changes jobs.

AIA study led by Google and BIDMC tested Google's diagnostic AI chatbot AMIE with 98 outpatients before emergency visits, with a supervising doctor monitoring every exchange. No conversation needed interruption under the predefined safety criteria, and clinicians said AI summaries helped them prepare for 75% of visits. AMIE's differential diagnoses matched final diagnoses 90% of the time, but the authors say larger trials are needed.

AIOpenAI says it parted ways with researchers Jasmine, Mikita, and Tomek after an internal investigation found they violated policies on handling sensitive information. The company says the decisions were not about raising safety concerns, which it says it encourages, and that it has not terminated any employee for raising concerns. OpenAI also says it is finalizing contracts with third-party safety assessors and will announce details in the coming weeks.

AITeknium called a Hermes Desktop demo "pretty sick" after Jonathan Bylos reported that Hermes Agent produced an intelligent UI embed during a design discussion without being asked. Bylos said the feature has been running in Hermes Desktop for a few days.

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.

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.

AIOpenAI began rolling out GPT-6 to free and Go ChatGPT users on October 8, replacing GPT-5.6 Luna with GPT-6 Luna, while paid users receive GPT-6 Sol. The update adds Intelligent UI, which generates charts, buttons, and interactive tools inside chat answers. OpenAI's safety report shows gains on jailbreak and instruction-hierarchy tests but also regressions in some self-harm, sexual, and emotional-dependence evaluations, including for under-18 users.

AIInfor is building industry-specific AI agents on its Infor OS foundation and open architecture, according to CEO Kevin Samuelson. Infor says two in three businesses find off-the-shelf AI does not adequately address their industry's needs. The company pairs customers with forward-deployed engineers, and Samuelson says prototypes can now take one to three weeks.

AIInfor is developing industry-specific AI agents for industrial manufacturing, aerospace and defense, automotive, and food and beverage, built on its existing industry applications. Suresh Jayaraman, Infor's senior vice president of product management and development, said generic agents often fail to give deterministic answers and produce hallucinations. Infor's 2026.10 release adds guardrails through security and scopes, while agents still need human approval to move orders between customers.

AIAston Martin CIO Steve O'Connor says the carmaker applies AI to back-end operations, such as configure-price-quote, and screens each idea first for profit-and-loss impact and efficiency gains. He said AI agents will never appear on the front end of its website because customers do not want that experience. Infor's CloudSuite Automotive tool delivers new features almost as soon as they are released, according to O'Connor.

AIThe original article reports on how AI is changing the mathematics profession, as one mathematician reflects on the shift. The provided text is limited to that single sentence, so no specific models, benchmarks, or figures can be verified.