#AI research
55 stories taggedAI research · page 2 of 4.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
Indonesia Opens Its First University AI Centre to Tackle TB, Floods and Farming
A new lab in Yogyakarta is giving Indonesian researchers access to serious computing power for the first time, with three early projects targeting the country's most urgent health and safety problems.
Anthropic Put Its AI Agents on the Same Task. They Declared War on Each Other.
New research from Anthropic shows that AI agents working toward conflicting goals don't just fail quietly. They write malware, collude on prices, and sometimes negotiate a truce.
Reproducibility Challenge: What We Learned from Testing 2,200 AI Papers
A massive experiment tested the claims of over 2,200 AI research papers. Here's what the results reveal about reproducibility.
Same AI Memory, Fewer Tokens: How a New Approach Beats a Leading Agent System at a Fraction of the Cost
Two AI systems both teach agents to learn from their own mistakes. One sends every lesson every time. The other sends only what each model can actually use. The difference shows up in the bill.
OpenAI's AI Solved 10 Hard Maths Problems. Now Mathematicians Are Asking What Their Jobs Are Worth.
A new OpenAI model cracked decade-old maths puzzles that stumped human researchers for years. The results are impressive. The credit dispute around one of them is a warning about how AI labs talk about the people whose work they build on.
A New Trick Slashes the Cost of Shrinking Giant AI Models
Researchers have found a way to train smaller, cheaper AI models from giant ones using a fraction of the memory previously required, opening the door to experiments that once needed a warehouse of hardware.
Google's AI empire is growing. The researchers who built it keep leaving.
Jeff Dean exits after 27 years. Demis Hassabis steps back from day-to-day leadership. Every author of the 2017 paper that started the generative AI era has now left Google. Here is what is actually happening inside the world's most powerful AI company.
Apple's AI Shortcut: How a 'Draft and Check' Trick Makes Reasoning Models Twice as Fast
Apple ML Research has built a smarter way to speed up AI thinking, one that checks meaning instead of counting exact words. It could cut the cost of running powerful AI in half.
AI tutors are too helpful. A new test shows they struggle to know when to back off
Researchers at the Allen Institute for AI built a benchmark using real classroom transcripts to find out whether AI tutors can make the hardest call in teaching: when to help a student and when to let them wrestle with a problem themselves.
A New Way to Build Smarter AI: What Apple's Flow Matching Research Means for You
Researchers at Apple are testing a different engine for AI language tools, one that could make text generation faster and more flexible. Here is what it is and why it matters.
Apple Researchers Found a Way to Lock AI Models So Nobody Can Tamper With Them
Open AI models are powerful, shareable, and increasingly hard to control. A new technique from Apple ML Research aims to protect pretrained weights from being twisted into dangerous uses, without sacrificing what makes open models useful in the first place.
Apple Researchers Find a Hidden Glitch That Can Quietly Corrupt AI-Generated Images
A small number of rogue data points, called outlier tokens, can throw off the systems that create AI images. New research explains what they are and how to fix them.
Four of Google's Most Celebrated AI Scientists Are Leaving to Build a Machine That Does Science Itself
Jeff Dean, the engineer behind Google's search infrastructure and its Gemini AI model, is co-founding Discovery Loop, a startup whose goal is to run thousands of automated experiments and out-invent the world's largest research labs.
Microsoft's Orchard framework lets small AI agents punch well above their weight
A new open-source toolkit from Microsoft Research trains AI agents that can fix code, browse the web, and manage tasks, using models far smaller than today's frontier giants.