AI News Today

How we reproduced three attacks that extract private training data from AI models and the cryptographic defenses that stop them.

A new framework provides a statistical method for estimating the likelihood of catastrophic failures in large language models in adversarial conversations.

Generative AI

Generative AI

<meta name="description" content="GRASP is a new gradient-based planner for learned dynamics (a world model) th

Isabelle/HOL's balance of expressiveness, automation, and scalability enabled the world's first formally verified cloud hypervisor.

Generative AI

General Science

A single, optimized LLM unifies what previously required multiple models and can serve as a reasoning partner for medical chemists.

Built in collaboration with the Gray Lab at Johns Hopkins Whiting School of Engineering, the Antibody Developability Benchmark is powered by one of the most diverse antibody datasets in public literature, enabling transparent performance evaluation for AI-guided antibody design.

Education Innovation

Generative AI

Generative AI

Amazon’s RuleForge system uses agentic AI to generate production-ready detection rules 336% faster than traditional methods.

How automated reasoning reconciles the demands of security, performance, and maintainability.

Generative AI

Low-rank adaptation, data augmentation, and chain-of-thought reasoning are among the techniques enabling accent-free polyglot outputs, improved expressiveness, and reliable synthesis.

Algorithms & Theory

Algorithms & Theory

Human-Computer Interaction and Visualization

Algorithms & Theory

Algorithms & Theory

Simplifying and clarifying the assembly code for core operations enabled automated optimization and verification.

Ablation study clarifies trade-offs between accuracy and efficiency when using low-rank adaptation (LoRA) to fine-tune AI models.

Health & Bioscience

By learning the idiosyncrasies of accumulated layers of legacy systems, AI agents can preserve institutional knowledge and provide a unified interface to a range of services.

<p style="text-align:center

Climate & Sustainability

Climate & Sustainability

Generative AI

As AI agents become more autonomous, the key challenge isn't what they can do; it's how to design the human side of the equation.

Generative AI

Machine Perception

Algorithms & Theory

Human-Computer Interaction and Visualization

Climate & Sustainability

Education Innovation

Algorithms & Theory

Generative AI

Generative AI