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

Activity

Activity (0)
Loading comments...