AivexaNewsSearch
AI news for builders and product teamsUpdated Oct 10, 2026, 22:01 UTC

Research news

The latest Research stories across our sources, prepared from the publishers’ own reporting.

In this topic

Newest first

A decade of mathematical certainty: Reflections on the Automated Reasoning Group

Amazon's Automated Reasoning Group reflects on a decade since its 2016 launch, describing how formal verification tools such as Tiros and Zelkova became AWS services including IAM Access Analyzer, Amazon Inspector, and Reachability Analyzer. The group says its production services process billions of queries daily and that it proved the correctness of infrastructure including the Nitro Isolation Engine and an authorization engine handling one billion API calls per second.

Read original

Solving the solvent problem

MIT researchers led by Ju Li published a Joule paper showing that a sulfonamide-family solvent called DMFSA can improve sodium-metal battery stability and fast cycling. An AI-guided algorithm designed 100,000 candidate molecules; 27 were tested, and DMFSA was the smallest and best.

How controllers from industrial machinery can coordinate multitask machine learning

Amazon researchers presented ControlG at ICML, a framework that uses PID controllers from industrial control systems to schedule multiple training objectives in graph self-supervised learning by allocating compute to one objective at a time instead of blending gradients. It outperformed baselines on nine graph benchmarks across node classification, link prediction, and clustering.

Read original

Harness Engineering for Self-Improvement

Lilian Weng published a post on harness engineering for recursive self-improvement, covering harness design patterns, context engineering methods such as ACE and MCE, automated workflow search approaches including ADAS and AFlow, and Meta-Harness. The post also traces the concept of recursive self-improvement to I. J. Good (1965) and Yudkowsky (2008).

Scaling Laws, Carefully

A technical article by Lilian Weng reviews the history and methodology of neural scaling laws, tracing them from early learning-curve work through Kaplan et al. (2020), the Chinchilla scaling laws, and efforts to reconcile the two. It also covers scaling in data-limited regimes and practical difficulties in fitting scaling laws.

Read original