Haider.
@haider1
open intelligence for a decentralized future
Joined November 2021
4.3K Following 72.7K Followers
gpt-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 budget
Show more
