In May, an OpenAI model disproved the Erdős unit distance conjecture

AI research advances and the benchmarks used to measure progress.

General research and information gathering from multiple sources