#Research

Coverage in Research explores how startups, venture capital, and AI shape the way new knowledge is created, tested, and applied. It brings together reporting on the ideas, tools, and funding behind innovation across the research ecosystem.

OpenAI posts 700-plus math manuscripts on GitHub

OpenAI released 700-plus AI-generated math manuscripts with proof artifacts and Lean formalizations on GitHub.

Oct 15, 2026 · 4 min