OpenAI says its AI models produced three new scientific results
OpenAI says its models generated three results in mathematics, complexity theory, and quantum field theory, with some proofs formally verified in Lean.
2 min readRead story
CHOOSE YOUR FOCUS
NEWS FEED
OpenAI says its models generated three results in mathematics, complexity theory, and quantum field theory, with some proofs formally verified in Lean.
BMJ Group, Sage and four other publishers are bringing more than 20 million peer-reviewed papers into a licensed access layer that AI agents can query through MCP and API.
BEYOND THE HEADLINE
Every story includes a concise summary, its creative workflow implications and original sources. Explore official demos and examples alongside the news.
Our editorial approach@airadarhaber
Fresh AI developments, dedicated visuals and product examples. Explore our posts and catch up in Stories.
Follow on Instagram


GRAPHIC. DIGITAL. MOTION.
Explore my graphic design, branding
and motion work.