#research

Claude formalized Fermat's Last Theorem in Lean

Anthropic says the model worked largely autonomously for 11 days, turning a famous proof into machine-checkable code.

Sep 5, 2026

Google puts WeatherNext 3 into Search, Gemini and Maps

The new global weather AI model adds live satellite data, hourly forecasts and higher resolution for consumer products, APIs and cloud workflows.

Sep 3, 2026

Anthropic says Claude can help fix alignment failures

In a controlled research loop, Claude found methods that improved safety benchmarks across 10 failure categories without reducing model capabilities.

Sep 1, 2026

Generalist says GEN-1 makes simple robot tasks commercially viable

The robotics startup reports 99% success on selected tasks, roughly 3x faster execution and adaptation from about one hour of robot data.

Aug 20, 2026

Claude designed working protein binders for 14 of 15 targets

Anthropic says wet-lab validation found higher hit rates than typical protein-design campaigns, while access to the strongest life-science workflows remains limited.

Aug 20, 2026

Google shows AMIE doing real-time medical video consultations

The Gemini- and Astra-based research system interpreted visual and audio cues in simulated primary-care consultations, but Google says it is not ready for real-world deployment.

Aug 11, 2026

Google DeepMind open-sources WeatherNext for cyclone forecasts

The model predicts cyclone track, intensity and wind structure, giving forecasters roughly an extra day of useful lead time.

Aug 7, 2026

OpenAI gives academic researchers free access to frontier ChatGPT tools

The program starts with selected institutions and is meant to help scientists, mathematicians and engineers use advanced models without paying for access.

Jul 29, 2026

Claude Mythos sped up attacks on a research version of AES

Full AES is not broken, but Anthropic says its model helped find cryptographic weaknesses in research targets that matter for future security review.

Jul 28, 2026

AI workers ask the U.S. to prepare for automated AI development

More than 1,100 signatories from major labs warn that AI systems may soon accelerate AI research itself.

Jul 28, 2026

OpenAI says coding agents are starting to change scientific software

A new field report looks at eight agent-assisted projects in genomics and other data-heavy research areas.

Jul 28, 2026

Google puts $40M behind the Genesis Mission for AI-driven science

The commitment funds research teams using AI to accelerate scientific discovery, with an emphasis on biology, materials and climate-related work.

Jul 28, 2026

OpenAI says ChatGPT work use is already crossing job boundaries

A new Work at the Frontier report studies more than 800,000 work-related ChatGPT messages and argues that AI is changing who does which tasks.

Jul 28, 2026

Anthropic lets Claude query its Economic Index directly

The new connector turns Anthropic’s labor-market dataset into something researchers can ask about inside Claude.

Jul 22, 2026

End of feed