NextBigFuture

XAI Grok 4.20 and OpenAI GPT 5.2 Are Solving Significant Previously Unsolved Math Proofs

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...
eWeek

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

I tested Gemini 3 Flash vs. DeepSeek with 9 prompts — the winner surprised me

Gemini 3 Flash is fast and powerful — but how does it compare to DeepSeek? I tested both chatbots across nine prompts to see ...
Nature

Problem solving articles from across Nature Portfolio

Problem solving is the mental process of analyzing a situation, learning what options are available, and then choosing the alternative that will result in the desired outcome or some other selected ...
WinBuzzer

GPT-5.2 Pro Solves Decades-old Math Problem, but Experts Say It Reveals AI’s Limits as Much as Its Potential

OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins ...
Nature

Prefrontal cortex articles from across Nature Portfolio

The prefrontal cortex is a cortical area located in the anterior frontal lobe, including several subdivisions (e.g. ventromedial, dorsolateral, orbitofrontal cortices). The prefrontal cortex functions ...