All news
7718Top themes
01Idiobionics: Scientists Warn of the Risks of Hacking Smart Bionic Prostheses02TACO: a method removes credit “contamination” in RL training of language models03New MiniLM-based method more accurately detects queries outside chatbots' knowledge scope04Scientists propose "alignment plausibility" as a safety standard for medical LLMs05Debiasing NLP models creates new stereotypes for other demographic groups
LLM·arXiv cs.CL
LLMs prove theorems but do not discover mathematics: researchers outline the next step
A position paper on arXiv systematizes progress in AI4Math and explains why current LLM systems are incapable of discovering new theorems —

LLM·arXiv cs.AI
New AI tool combines GTAP and APSIM to assess shocks in agricultural supply chains
Researchers have developed an AI system based on GTAP and APSIM that analyzes shocks in agricultural supply chains through natural-language

LLM·arXiv cs.AI
Context Graph: researchers taught enterprise AI agents to work without queries

LLM·arXiv cs.LG
LiST: a new method simultaneously delivers accuracy, robustness, and calibration in neural networks

LLM·arXiv cs.CL
Hol-PCFG cut syntactic parsing parameters by 99.94% and took the lead in six languages

LLM·arXiv cs.LG
MetaNCA teaches neural networks to self-organize without backpropagation

LLM·Meta AI Blog
Meta released Muse Spark 1.1 — multimodal agent with 1 million token context
Meta Superintelligence Labs introduced Muse Spark 1.1 — an agentic model with a 1 million token context window, video and audio support, and

LLM·Mistral AI News
Mistral Updates Studio: Version Control System for Enterprise AI Prompts
Mistral AI added centralized prompt management to Studio — now every AI instruction has a version, owner, and change log without engineer in













