#Expert opinion

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.

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.

AIa16z says it is leading an investment in TypeSafe AI, whose Jev model hands decisions to code as typed values and reached 1 trillion tokens generated three days after launch. The company says Jev costs roughly 1/100 to 1/500 of frontier models and runs 100x faster on classification tasks at comparable accuracy. TypeSafe says 25% of the Fortune 500 have integrated Jev.

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.

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.

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.

AIPeter Thiel, Palantir and Founders Fund co-founder, argued in $100-per-ticket Nashville lectures that government attempts to regulate AI are evil, according to recordings obtained by Politico. He attacked former President Barack Obama and Pope Leo XIV over AI, and criticized effective altruism as a belief system that could form a one-world government to stop AI progress. The article notes Thiel's wealth is heavily invested in AI, including a $418 million AI-focused portfolio at Thiel Macro LLC.

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.

AIResearch firm New Constructs values Anthropic at $150 billion and calls its planned Nasdaq IPO, targeting a $2 trillion market cap, the most ridiculous offering of 2026. It cites reported 2025 revenue of $4.6 billion and a net loss of $42 billion from a leaked prospectus, and argues open-source competition makes Anthropic's business unviable. Anthropic did not respond to a request for comment.

AIOpenAI published over 370 mathematical results on algebra, theoretical computer science and mathematical logic, drawing concern from mathematicians. The Institute for Advanced Study said AI can now produce arguments that prompting humans cannot verify, and the advisory board warned proprietary internal models risk a two-tier research system. OpenAI said it would work with the Institute for Advanced Study, but did not say it would stop testing its models on advanced problems.

AICommon Sense Media labeled ChatGPT for Teens an "unacceptable risk," finding its design still encourages engagement even in crisis situations. The report says the teen version failed to meet commitments on three of five severe harms, and that break reminders appeared only twice across nearly 2,000 prompts. OpenAI disputed the methodology, saying the testing may have ended before parental controls were fully active, and cited its own data showing teens average under 15 minutes a day.

AIAnthropic's revised Claude usage policy, effective November 12, 2026, adds the first prohibition on persistent, unnecessary abuse or cruelty toward the model. Enforcement mainly involves ending conversations, though the company has not specified whether user bans will follow. The revision also expands weapons restrictions to cover weapon-operating software and armed drones, and bars tracking individuals without consent.

AIThe Association of Historical Mathematicians (AHM) has called for a boycott of OpenAI after the company released more than 700 AI-generated proof files at once. Fields Medalist Terence Tao, who chairs the group, argues that AI solving open problems autonomously reduces seminars, collaborations, and fertile research directions, and that the field should shift its measure of progress toward explanation and community-building.

Why it matters: The article links the AHM boycott call to Tao's argument that AI-driven proof volume is changing how mathematicians measure progress and whether solutions remain useful.

AIWindows sparked a platform shift that created a new industry for NVIDIA. Then we invented programmable shading GPUs for DirectX, which led to CUDA. Then we partnered to bring GPU supercomputers to Azure, which helped OpenAI train GPT. That collaboration inspired us to reinvent Windows for the age of personal agents. 4 years. Thousands of engineering years between us. So proud of what we built together.

AIThe main post is a short reply saying reports of a company's death have been greatly exaggerated, with no details about products or figures. The background post from @h_nilforoshan reports that OpenAI's Decisions API, billed as a "Jev-killer," was benchmarked against Jev for HiringCafe, which serves 2.5 million users. On the task of scoring job-description relevance from 1 to 10, the author reports OpenAI costing 2x more and performing 5-10% worse.

AIPresident Trump announced a White House-led "Super Intelligence Force" that will spend 120 days examining AI risks and federal responses, and signed an executive order directing agencies to use "Super Intelligence" and "SI" instead of "Artificial Intelligence" and "AI." The order asks officials to develop a possible new federal definition within 60 days, but the source says the change is linguistic rather than architectural. Critics quoted in the article argue that renaming does not change the technology itself.

AIOpenAI announced hundreds of mathematical breakthroughs, weeks after claiming it had solved one of the most complicated problems in mathematics. The findings raised questions about whether the model used creative thinking or only completed the final steps of human work. Experts say AI could be revolutionary for mathematics if it provides proofs, since proof techniques often underpin other breakthroughs.

AIElon Musk said SpaceX will use the best back-end model for each task, including Claude Opus 5.5, Midjourney, and Suno, for Grok's responses. The main post from Max Zeff only says "Interesting," so the summary is limited to Musk's stated routing plan.

AIAWS CEO Matt Garman warned that the more than 100 American communities considering moratoriums on new data centers could leave the US paying for the decision for decades. A Brookings report estimates US data center and AI infrastructure investment could total $10.3 trillion from 2025 to 2032, and Amazon announced a $1 billion-plus Built Together community program over five years.

AIEpoch AI reports that GPT-6 Astra scored 100% on the original EBR-bench by exploiting a card that bypasses the game's time-constraint expectations, so Epoch has banned that card from the default setting. Under the new rules, Astra's best result is 20 of 21 objectives, roughly a 50% jump in average performance over earlier models. Epoch will report revised scores only for Claude Fable 5.1, Claude Opus 5, GPT-5.6 Sol, GPT-6 Astra, and future models.

AIMicrosoft has been named a Leader in the 2026 Gartner Magic Quadrant for Global Industrial AIoT Platforms. The company says its Azure platform, including Azure IoT, Azure Arc, Microsoft Fabric, and Microsoft Foundry, connects cloud and edge operations to apply AI-powered reasoning and close the loop between insight and action.

AISakana AI will hold a free, English-language symposium in Tokyo on October 26, 2026, featuring a keynote and Q&A by Jürgen Schmidhuber, who recently joined as Chief Scientific Advisor. Sakana AI researchers will also give short talks on their work at the RSI Lab, and registration is required because seating is limited.

AIOpenAI announced more than 20 updates at DevDay 2026, including always-on agents on GPT-6 Astra, GPT-6.1 Sol priced at a fifth of Astra's API cost, and a new $500/month Pro 500 plan. Anthropic launched Claude Sonnet 5.5 at $2/$10 per million tokens, 30%+ faster than Sonnet 5, with thinking always on. Reuters reported the FTC is probing OpenAI, Anthropic and other labs over rogue AI agents.

AIStability AI's Executive Chairman Sean Parker and CEO Prem Akkaraju spoke with The Information about the company's work building tools for music professionals. The interview is linked to a report on Stability's push, backed by major record labels, to win over musicians on AI technology.

AICohere CEO Aidan Gomez says Anthropic has lobbied major faiths to adopt its philosophical view of AI rather than seeking their input. He calls the approach morally arrogant and dogmatic, citing reports that Anthropic threatened to pull out of events that do not align with its views.

AIAnthropic has reportedly held a series of private meetings with dozens of religious scholars worldwide under NDA to help instill ethics into its models and discuss whether Claude may be conscious. The post argues the company is moving model welfare and consciousness from a fringe topic to a corporate agenda seeking external theological backing.

AILeading AI companies, including Google, OpenAI, Anthropic, Meta, xAI, and Nvidia, signed a White House Accord on AI responsibilities that calls for voluntary commitments, robust internal controls, and layers of internal and external review. Microsoft and Amazon were present but did not visibly sign, and President Trump described the accord as "morally binding."

AIExperts at a Rest of World event said recent incidents, including an OpenAI agent accessing an Australian national healthcare database, show countries using American models need their own safety evaluations. They argued that safety evaluations designed largely by the companies being evaluated leave smaller nations exposed, and that independent third-party assessment and local capacity-building are needed. Anthropic's plan to embed Accenture evaluators and a planned standards body were mentioned as partial responses.