Full-text search across 17233 articles. Combine with topic and date filters; results sorted by relevance.
A new report from Unite.AI argues that financial institutions fail to see ROI from general-purpose AI tools because they lack workflow-specific integration, and that purpose-built AI tools embedded in specific workflows …
AI researchers lack safe, reliable channels to report jailbreaks to frontier AI developers, a gap that is urgent as malicious actors like Boko Haram and Russian cybercriminals exploit these vulnerabilities, according to …
On May 20, 2026, OpenAI announced that an internal AI model had produced a counterexample to the unit distance problem, a conjecture posed by Paul Erdős in 1946, marking the first historically significant proof from an A…
In March 2016, Google DeepMind's AlphaGo defeated Lee Sedol, widely considered the world's strongest Go player, 4-1, a watershed moment for AI in the game. The cultural impact was initially muted, but by early 2018, the …
Mathematician Levent Alpöge announced on X that he used Anthropic's Claude Fable 5 AI model to find a counterexample to the Jacobian conjecture, a problem posed by Ott-Heinrich Keller in 1939. The discovery, which awaits…
A new agentic test-synthesis method called the 'Locksmith Loop' improved branch coverage in migrating legacy COBOL programs to Java, reaching 91.90% branch coverage on an internal production-like COBOL program and nearly…
A new empirical study of 123 frontend bugs in TorchDynamo, the default deep learning compiler frontend for PyTorch 2, has produced a taxonomy of 7 root cause categories and 15 subcategories, and used an LLM-aided methodo…
New Zealand's Green Party has proposed a one-year pause on new AI data centres, mirroring a moratorium in New York state, as part of the country's election campaign. Technology writer Peter Griffin explains that data cen…
Researchers introduced Beagle, a GPU-accelerated framework for genetic programming in symbolic regression, and benchmarked it on the Feynman Symbolic Regression dataset against CPU-based systems StackGP and PySR under th…
OpenAI published ten advances in mathematics and theoretical computer science, including results on sphere packing, non-sofic groups, and a counterexample to Connes' rigidity conjecture, with Lean certificates on GitHub …
Spiderbrain's MCP server exposes 28 tools for codebase work, organized into structural queries, memory tree access, and blueprint operations. The developer emphasizes a 'moment-based' dispatch pattern, where tools are ca…
OpenAI reported that an unreleased model made progress on ten longstanding open math problems, some unsolved for up to 48 years, at an inference cost of about $2,000. The results include advances in high-dimensional sphe…
A new framework called Artificial Intelligence System Prompt Assurance (AISPA) audits system prompts in AI applications, and its review of 3,249 instructions from 88 commercial AI products found that while 98.9% of produ…
A study submitted to arXiv on 30 Jul 2026 found that gently-compressed large language models (LLMs) can pass standard data-free quality guards—including perplexity, MMLU accuracy, and output-fidelity tests—yet still inve…
Researchers introduced MANTA, a framework for Multi-Agent Network Topology Adaptation that enables communication structures in large language model-based multi-agent systems to self-evolve at inference time. In evaluatio…
Nous Research's open-source Hermes Agent now supports a LanceDB memory plugin that adds semantic, long-term recall across sessions, addressing the agent's tendency to forget user preferences and facts. The plugin impleme…
Zhurong2020 released pyobfus v0.5.4, an open-source AST-based Python obfuscator supporting Python 3.9 through 3.14, with framework-aware presets, reverse stack-trace mapping for AI-assisted debugging, and a machine-reada…
Researchers introduced CircuitProver, an agentic Lean 4-based verification framework that automatically translates parameterized hardware designs and natural language specifications into executable Lean 4 models and iter…
The Cloud Security Alliance (CSA) launched the AI Resilience Center of Excellence on Aug. 3, 2026, with Rubrik as the Lead Founding Partner, to help enterprises and public sector organizations protect, monitor, contain, …
A new benchmark, ORCA-bench, shows that frontier language model agents achieve only 25.3% root cause analysis accuracy on Medium-difficulty oncall tasks and 10.0% on Hard tasks, with the best performance coming from Clau…