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.
Academic 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.
Featured
Academic AI
Latest News and Analysis in Academic AI