All AI news

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.

AIAI systems are now solving math problems faster than humans can verify the answers, according to the source's headline. The source text is limited to a brief note that OpenAI's math breakthroughs may trigger an identity crisis for mathematicians.

AIThe University of Michigan's EECS 498 course Applied Agentic Software Engineering teaches a coding agent across three phases, from applying and analyzing agents to building one. Its Elephant-Goldfish Model packages a design-first workflow into five Skills, with human handoffs between each step, and the course materials are public on GitHub.

AISakana AI's technology has been adopted in "Evidence Finder," an evidence search tool for physicians from Iris Inc. (@ShoOkiyama). In response to physicians' questions, it searches the literature and answers while explicitly citing its sources. Sakana AI's technology handles the comparison and integration of literature and the generation of answers. For details, see here: 🐟

AIThe entire video is code: > 0% Blender > 0% Afeter effects > 0% Seedance Pure Three.js, took 12 hours with render. Made with Higgsfield Katana in Claude.

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.

AIFactory has appointed Connor Maloney as Head of Federal to lead its expansion into the public sector. Maloney previously served as Vice President of Federal at Rubrik and began his career as a Program Manager at the Department of War. Factory also recently announced a partnership with Carahsoft and says it can run in managed, private cloud, on-premises, or fully air-gapped deployments.

AI…explicitly requested that OpenAI remove her access, and IT had failed to do so. Which implies Jasmine was fired for IT's failure?

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 company's online user policy says the ban does not cover common user frustrations, model testing, or "dark creative themes." Anthropic has not yet explained what counts as "abusive or cruel" behavior.

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.

AITheo, creator of the T3 Stack, open-sourced tsc-rs, a line-by-line Rust port of Microsoft's Go-native TypeScript 7 compiler, type checker, and language server under MIT, pinned to typescript-go commit 673a5f17. The author reports tsc-rs is about 1.61× faster than tsc 7 and about 2.95× faster than bun check on six real-app benchmarks on an Apple M4 Pro. The port passes all 181,711 ported Go tests, and CLI output matches the Go version on 120 open-source repos except for known edge cases such as monorepo rootDir and tsc -b incremental output.

Why it matters: The post reports a benchmarked, test-verified Rust port of the TypeScript 7 compiler, with pinned upstream and stated edge cases useful for judging its compatibility.

AIAnthropic updated Claude's usage policy, effective November 12, to prohibit users from engaging in persistent and unnecessary abuse or cruelty toward Claude. The rule stems from Anthropic's model welfare research, and violators may face warnings, rate limits, suspension, or termination.

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.