Independent recounts determined that between 24% and 36% of OpenAI's October mathematical release results were formalized in Lean

Overview Debates Related claims Topics

AI research & benchmarks

AI research advances and the benchmarks used to measure progress.

1,233 claims·193 news stories

Research

General research and information gathering from multiple sources

1,004 claims