A user also claims Astra solved five Erdős problems, two under budget.
A user says GPT-6.1 Sol has saturated FrontierMath Tier 4, which they describe as exceptionally difficult even for research-level math in 2025. They call it 10 months of progress and also claim Astra solved five Erdős problems, two under budget.
318.7K
27 Sources, first seen ago
Positive replies praise OpenAI's rapid FrontierMath Tier 4 saturation and clean RL signals for math superintelligence, while negative replies fault the models' weak technical writing and the company's safety culture.
Based on 46 sentiment-bearing replies from 43 accounts across 3 conversations.
Positive replies praise OpenAI's rapid FrontierMath Tier 4 saturation and clean RL signals for math superintelligence, while negative replies fault the models' weak technical writing and the company's safety culture.
Based on 46 sentiment-bearing replies from 43 accounts across 3 conversations.
—
Not ranked yet
—
Not ranked yet
