AI news archive.
19,864 articles, newest first, from the outlets listed on the sources page.
- arXiv cs.AIresearchFrom Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
arXiv:2607.07779v2 Announce Type: replace-cross Abstract: Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof…
- arXiv cs.AIagentsMemPoison: Uncovering Persistent Memory Threats and Structural Blind Spots in LLM Agents
arXiv:2607.14651v2 Announce Type: replace-cross Abstract: Persistent external memory enhances agent continuity but introduces persistent security vulnerabilities: adversarial content can be injected via standard interact…
- arXiv cs.AIresearchSOS-LoRA: Static Orthogonal-Subspace Low-Rank Adaptation with Fixed Multi-Scale Scaling
arXiv:2607.16252v2 Announce Type: replace-cross Abstract: Low-Rank Adaptation (LoRA) is a widely used parameter-efficient fine-tuning (PEFT) method for large language models. Under a fixed rank budget, LoRA parameterizes…
- arXiv cs.AIresearchArithmetic and its remedies select the evidence on learned geometry
arXiv:2607.17513v2 Announce Type: replace-cross Abstract: Intelligence that must act before outside correction arrives must carry the structure of its expert knowledge, and hyperbolic geometry represents hierarchy with a…
- arXiv cs.AIresearchISO: An RLVR-Native Optimization Stack
arXiv:2607.19331v2 Announce Type: replace-cross Abstract: Reinforcement learning with verifiable rewards (RLVR) advances the reasoning capabilities of language models, yet the optimization layer that converts reward feed…
- arXiv cs.AIresearchNeptuna: A Comprehensive Machine Learning Framework for Benchmarking Complex Multiphase Flows
arXiv:2607.22280v3 Announce Type: replace-cross Abstract: Compressible multiphase flows involving shocks and material interfaces arise in applications such as bubble collapse and droplet breakup, where strong nonlinear i…
- arXiv cs.AIagentsIs Serving-Time Language-Model Inference Necessary for Recommendation? Evidence from Generative and Agentic Settings
arXiv:2608.01260v2 Announce Type: replace-cross Abstract: Language models (LMs) are increasingly used in recommender systems to generate recommendations or coordinate recommendation tools. However, does their strong perf…
- arXiv cs.AIresearchHow Much AI Is in This Track? Quantifying the Proportion of AI-Generated Stems in Hybrid Music Mixtures
arXiv:2608.07285v2 Announce Type: replace-cross Abstract: AI-generated music is increasingly used at the stem level, with producers integrating synthetic drums, basslines, or vocals alongside human-performed instruments.…
- arXiv cs.AIresearchCalling the Bluff: Detecting Ever-Shifting Harmful Chat Dialogue via Ordered Reasoning Chain Regularization
arXiv:2608.08451v2 Announce Type: replace-cross Abstract: Harmful chat dialogues are ever-shifting through type-shifting and lexical evasion, yet we find they share invariant principles, i.e., an Ordered Reasoning Chain…
- arXiv cs.AIresearchTest-Time Augmentation for LLMs: Where to Inject Diversity at Inference Time
arXiv:2608.09351v2 Announce Type: replace-cross Abstract: Aggregating several LLM responses to the same question can improve accuracy, but every method that does so must decide where the responses should differ. Establis…
- arXiv cs.AIresearchSelection, Recombination, or a Fresh Solve? A Candidate-Free Control for Single-Pass Test-Time Aggregation
arXiv:2608.18379v2 Announce Type: replace-cross Abstract: An aggregation pass gives a language model two things: candidate solutions and another chance to answer. We ask whether the candidates improve that attempt, and w…
- arXiv cs.AIresearchEditPPT: Structured Execution and Evaluation for Reliable Slide Editing
arXiv:2608.20381v2 Announce Type: replace-cross Abstract: Reliable slide editing requires precise modifications to intended objects while preserving the rest of the presentation. We argue that slide editing is a problem…
- arXiv cs.AIresearchBeyond Uniform Local Isometry and Topology: FactoMap for Disentangled Representations
arXiv:2608.24762v2 Announce Type: replace-cross Abstract: Many disentanglement methods represent generative factors using Euclidean product coordinates, although the underlying factor spaces may wrap, collapse, or have p…
- arXiv cs.AIresearchMathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
arXiv:2608.25449v3 Announce Type: replace-cross Abstract: Formal theorem proving enables machine-verifiable evaluation of mathematical reasoning, yet existing benchmarks often emphasize aggregate proof accuracy, concentr…
- arXiv cs.AIresearchGood Memory Has ECC: Evaluating the Memory of Vision-Language Models Beyond Accuracy
arXiv:2609.00103v2 Announce Type: replace-cross Abstract: Memory is widely viewed as an important unsolved problem for LLMs and VLMs, and current benchmarks typically evaluate it by testing accuracy over long text or vid…
- arXiv cs.AIresearchCleaner Speech, Weaker Generalization: Revisiting Pitt-Derived Benchmarks for Alzheimer's Disease Detection
arXiv:2609.00276v2 Announce Type: replace-cross Abstract: Speech-based Alzheimer's disease (AD) detection increasingly relies on speech-enhanced and curated versions of the Pitt Corpus, where speech enhancement, sample s…
- arXiv cs.AIresearchGraFT: A Training-Free Framework for Spatial Reasoning in Multimodal Large Language Models via 3D Scene Graphs
arXiv:2609.03892v2 Announce Type: replace-cross Abstract: 3D spatial reasoning underpins understanding and acting in the physical world, yet it remains unreliable in current multimodal large language models (MLLMs). Thes…
- arXiv cs.AIresearchLeveraging Low-Level Symbolic Competences for Unsupervised Grounding in Hallucination Detection
arXiv:2609.05025v2 Announce Type: replace-cross Abstract: Hallucination-where a language model generates outputs that are factually incorrect or unsupported by the source-is a major challenge for both prompted and fine-t…
- arXiv cs.AIagentsAURA-Eval: Evaluation Framework for Acting Under Risk Awareness in LLM Agent Trajectories
arXiv:2609.06783v2 Announce Type: replace-cross Abstract: LLM agents are increasingly taking actions with real consequences, yet safety evaluations often reduce their behavior to a final safe/unsafe outcome, obscuring wh…
- arXiv cs.AIresearchJoint Deployment and Resource Management for Group-Tag-Based Physical-Layer Authentication and Collaborative Communication in NTN
arXiv:2609.09475v2 Announce Type: replace-cross Abstract: Physical-layer authentication (PLA) in non-terrestrial networks (NTNs) has primarily been studied from a security perspective, while its system-level integration…
- arXiv cs.AIresearchChopthin-Consensus Power Sampling: A Diversity-Preserving Approach to LLM Decoding
arXiv:2609.12243v2 Announce Type: replace-cross Abstract: Inference-time power sampling via Sequential Monte Carlo (SMC) can substantially improve large language model (LLM) reasoning without requiring post-training. How…
- arXiv cs.AIresearchDiagnosing Faults in Reinforcement Learning Simulators with Canonical Polynomial Invariants
arXiv:2609.13194v2 Announce Type: replace-cross Abstract: A large literature incorporates physical structure into learned dynamics on the premise that models respecting the underlying physics should predict better. We te…
- arXiv cs.AIresearchBeyond density snapshots: Dynamical memory in Chern-Simons reservoirs
arXiv:2609.13315v2 Announce Type: replace-cross Abstract: How a reservoir encodes input history jointly in density and geometric degrees of freedom remains insufficiently understood. We address this mechanistic gap with…
- Engadget AImodelsPerplexity makes it easier to run AI workflows entirely on your own Mac
A Mac with at least 36GB of RAM can now run Perplexity AI workflows locally.
- Guardian AIstartupsIs this the beginning of the end of the AI stock market boom?
After a wobble on the tech-heavy Nasdaq, some AI market observers think a reassessment of the potential value of various businesses may be under way Get our breaking news email , free app or daily news podcast The world…
- NVIDIA Developer BlogresearchDesign Proteins with RFD4-Proteina Using Reward-Guided Inference-Time Search
Protein design is a search problem. Choose amino acids for an eight-residue protein sequence and more than 25 billion combinations are possible. Choose amino...
- LessWrongsafetyRed-teaming multi-agent attacks for loss-of-control risks
We've written a paper on optimized multi-agent attacks, for which we present a brief writeup in this post. See the paper for more detail. This work was also presented as a spotlight research talk at the MATS Summer 2026…
- TechCrunch AIpolicyMamdani says feds have abdicated on AI, urges New Yorkers to push back
Mayor Zohran Mamdani said Monday night that New Yorkers must resist the narrative that an AI takeover is inevitable and demand regulations that protect the public and put power back in their hands.
- SiliconANGLE AIpolicyTrump administration orders ban on DeepSeek in federal agencies
The Department of Homeland Security has ordered artificial intelligence technology from the Chinese company DeepSeek Ltd. be removed from all federal civilian agencies. The order, published on the Federal Register websit…
- SiliconANGLE AIstartupsAI work assistant startup Town secures unicorn status after raising $108M just weeks after launching
Town.com Inc., an artificial intelligence agent startup laser focused on getting work done by collaborating with other AI agents, revealed today that it has raised $108 million in a new funding at a $1 billion valuation.…
- TechRadar AIsafetyWorkers are spending more time correcting AI-generated content than doing actual work
Mainstream AI news from a large tech publication.
- Engadget AImodelsOpenAI says its models can help banks migrate from old COBOL programs
OpenAI says its models now come with better COBOL capabilities.
- The Register AI + MLpolicyDeepSeek deep-sixed at all US federal civilian agencies
Order disallowing use of Chinese AI service is unhelpfully vague and broad
- Hugging Face Blogopen-sourceMPS in PyTorch 2.15
Open-source model releases, tooling, and community updates.
- Hugging Face Blogopen-sourceAnyLanguageModel 1.0: One Year of Local Models on Apple Platforms
Open-source model releases, tooling, and community updates.
- Hugging Face BlogchipsHugging Face ❤️ TorchTPU: TPUs, Natively
Open-source model releases, tooling, and community updates.
- OpenAI NewsstartupsOpenAI acquires Orchestra Bio
OpenAI is acquiring Orchestra Bio to bring AI-powered operations to life sciences R&D, helping biopharma teams accelerate drug development and advance new treatments.
- Simon Willison's WeblogagentsMy obituary for programming
My obituary for programming Jeremy Scheff poignantly captures the key loss caused by coding agents for career programmers who enjoyed the puzzle of developing code: Programming turned into one of the greatest jobs you co…
- TechCrunch AIchipsNscale and Anthropic are reportedly in talks for yet another $45B compute deal
If the deal goes through, it would be the latest in a long string of giant compute deals Anthropic has struck over the past year.
- AWS Machine Learning BlogmodelsStructured outputs for Anthropic Claude models on Amazon Bedrock
Amazon Bedrock now supports structured outputs for all Anthropic Claude models on both the bedrock-runtime and bedrock-mantle endpoints. Receive schema-compliant JSON that conforms to a defined structure, without custom…
- LessWrongresearchHuman vs AI in Go in 2026: Lessons for superintelligence?
In July 2026, Korean Go player Shin Jin-seo defeated KataGo 2-1 , with only [1] a 2-stone handicap (favoring Shin). I thought this was very surprising, and posted on LessWrong and Twitter asking how to interpret this. I…
- TechRadar AImodels'Turn any tank into your next UGV': France's Foreign Legion may get thousands of XXL robot mules built from retired tanks — though the demo inconveniently sits on one of only two AMX-32s ever made
Mainstream AI news from a large tech publication.
- TechRadar AIchipsThe Commodore C64's spiritual godson surfaces on HP's online store — EliteBoard G2a brings 'Gorgon Point' Ryzen AI 7 Pro APUs to a novel form factor with a battery and an eye-watering $4,200 price tag
Mainstream AI news from a large tech publication.
- TechRadar AIcommunityWhat happens when an AI interviewer meets AI interviewee? YouTuber stands up for those facing faceless hiring processes
Mainstream AI news from a large tech publication.
- SiliconANGLE AIstartupsNvidia, Dell back $200M round for AI model developer doubleAI
Artificial intelligence developer doubleAI today announced that it has raised $200 million in funding. Lightspeed and Bessemer co-led the Series A round. They were joined by Nvidia Corp., Dell Technologies Inc. and sever…
- SiliconANGLE AImodelsAI startup doubleAI debuts Maxwell ‘code execution model’
Startup doubleAI today debuted Maxwell, a model that can optimize software code and generate mathematical proofs. Tel Aviv-based doubleAI, officially AA-I Technologies Ltd., is led by Chief Executive Officer Amnon Shashu…
- TechCrunch AIsafetyEmbedded AI evaluators won’t be an easy solution, Hugging Face’s policy chief says
The idea of embedded evaluators — in which supposedly "neutral" third-party observers are placed inside AI organizations — has been popularized over the last several months, as AI labs grapple with a rash of safety incid…
- AWS Machine Learning BlogmodelsDevelopers can now access SageMaker Studio through the new AWS experience
New Amazon SageMaker AI customers can now land in a fully configured SageMaker Studio environment in only a few steps. Sign up with an identity you already have, such as Amazon, Apple, GitHub, or Google, with no advanced…
- Guardian AIresearchNew AI tool can predict cancer survival by a single patient selfie, study suggests
System can estimate a person’s biological age and predict chances of cancer survival from a single photograph Doctors have developed an artificial intelligence tool that can predict a cancer patient’s chances of survival…
- SiliconANGLE AImodelsMiniMax launches M3.1 Flash model, says it cuts AI agent costs by 70%
Chinese artificial intelligence developer MiniMax Group Inc. today released M3.1 Flash, a faster and cheaper update to the M3 large language model it launched in June. The release takes aim at the cost of running AI agen…