Clay Institute Reviews OpenAI’s AI-Generated Navier–Stokes Solution
The Clay Mathematics Institute is reviewing an AI-generated Navier–Stokes solution from OpenAI, putting a $1 million mathematics prize claim on hold.
Academic AI
Latest News and Analysis in Academic AI
Academic AI
Inherent says its Faraday AI agent beat Anthropic and OpenAI at replicating research
Inherent says its Faraday AI agent beat larger Anthropic and OpenAI systems at paper replication, highlighting smaller models and research-focused agents.
Anthropic’s Claude watermarking policy triggers debate over workplace and classroom use
Anthropic is watermarking Claude’s text to meet EU transparency rules, sparking debate over AI detection, workplace use, academic integrity, and privacy.
OpenAI says its models contributed to ten new results in mathematics and theoretical computer science
OpenAI says its models helped produce ten new math and theoretical computer science results, signaling a more serious push into research-grade AI.
OpenAI offers 100,000 academic researchers free ChatGPT access in push to expand AI use in science
OpenAI says it will give 100,000 academic researchers free ChatGPT access, extending advanced models into scientific workflows and labs.
German consortium unveils Soofi S, an open 30B model aimed at long-context efficiency and stronger German-language performance
Germany’s Soofi S open model claims top fully open English and German benchmark scores, while its creators also disclosed and corrected a test-data leak.
Mistral AI unveils Leanstral 1.5, an open Lean 4 theorem-proving model aimed at formal math workflows
Mistral AI has introduced Leanstral 1.5, an Apache-2.0 Lean 4 code agent model that reportedly solves 587 of 672 PutnamBench problems.
AI-Enabled Scientific Discovery Enters New Era with ChatGPT-5 Pro
Scientists achieve novel mathematical proofs and black hole discoveries using OpenAI's ChatGPT-5 Pro, signaling a paradigm shift in AI-assisted research despite ongoing limitations.
Ads