Agents & InferenceTechCrunch

OpenAI forms math advisory group as its AI resolves more than 100 open problems

Which summary reads better? Pick one — models revealed after.Both summaries are AI-generated.

Match the models (Optional)

Which model wrote which summary? Select a matchup mapping below before voting.

Summary A

An unreleased OpenAI internal model has reportedly resolved 100+ open math problems, including a claimed Navier-Stokes Millennium Prize solution — signaling frontier reasoning capability well beyond what's exposed in current API models. If accurate, this points to a coming generation of models with genuine novel-derivation ability for formal reasoning, math-heavy verification, and proof-style tasks, though it remains gated internally and the results are contested pending expert validation, so don't bet production workflows on this class of reasoning yet.