CoreTechDaily

Tag Library

AI research

Stories from across the site that focus on AI research.

How Claude AI Formalized Fermat’s Last Theorem in 11 Days with 13 Million Lines of Code

How Claude AI Formalized Fermat’s Last Theorem in 11 Days with 13 Million Lines of Code

Claude AI transformed a complex 1995 math proof into 13 million lines of Lean code in 11 days, automating a centuries-old problem’s formal verification.

Sep 13, 2026

What OpenAI’s Automated Research Intern Means for AI-Driven Research

What OpenAI’s Automated Research Intern Means for AI-Driven Research

OpenAI has developed an AI 'research intern' that can perform well-defined research tasks, accelerating projects and reducing human workload. This preview explores its capabilities, limitations, and future impact.

Sep 10, 2026