Haider.
@haider1
open intelligence for a decentralized future
参加 November 2021
4.3K フォロー中 72.7K ファン
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
もっと見る
