Tech
AI
Latest
.news
Models
Companies
Tools
Trackers
About
RSS
Trackers
Latest
Models
Agents
Automation
Security
Tools
Business
Policy
Chips
Research
Open source
Robotics
Industry
Home
/
AI Research
/
Papers
Papers news
Notable arXiv and journal papers. Part of
AI Research
.
Microsoft Research mathematicians prove the 31-year-old KLS conjecture with AI agent help
21 Oct 2026
Anthropic says Claude agents formalized Fermat's Last Theorem in Lean in 11 days
4 Sep 2026