• Home
  • Technology
  • Gaming
  • Entertainment
  • World & Business
  • Science
  • Sports
  • AI
HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
    • HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
    • Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI
    AI
    Report

    GPT-6.1 Sol reportedly saturates FrontierMath Tier 4

    A user also claims Astra solved five Erdős problems, two under budget.

    T(
    CM
    HA
    3 Sources, ,

    TLDR

    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.

    Combined views

    24.3K

    3 Sources, first seen 11h ago

    Combined views

    24.3K

    3 Sources, first seen 11h ago

    433 likes
    11h ago
    first seen 11h ago
    433 likes
    17 comments
    59 saves
    27 reposts

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    Featured Source
    17 comments
    59 saves
    27 reposts

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    Today's Rank

    —

    Not ranked yet

    Today's Rank

    —

    Not ranked yet

    3 Sources

    @haider1gpt-6.1 sol has saturated the FrontierMath Tier 4 benchmark that was considered exceptionally difficult even for research-level math just last year that's only 10 months of progress also Astra solved 5 erdős problems, and 2 of them under budget11h
    @charliermarshRT @haider1: gpt-6.1 sol has saturated the FrontierMath Tier 4 benchmark that was considered exceptionally difficult even for research-leve…8h
    @teortaxesTexOpenAI RL machine is fearsome they want math superintelligence and they're currently closer to it than anyone else This was the original idea of AGI, a couple years ago. Perhaps it's a more principled path to the goal than SWE agent-maxxing.1h

    3 Sources

    @haider1gpt-6.1 sol has saturated the FrontierMath Tier 4 benchmark that was considered exceptionally difficult even for research-level math just last year that's only 10 months of progress also Astra solved 5 erdős problems, and 2 of them under budget11h
    @charliermarshRT @haider1: gpt-6.1 sol has saturated the FrontierMath Tier 4 benchmark that was considered exceptionally difficult even for research-leve…8h
    @teortaxesTexOpenAI RL machine is fearsome they want math superintelligence and they're currently closer to it than anyone else This was the original idea of AGI, a couple years ago. Perhaps it's a more principled path to the goal than SWE agent-maxxing.1h