OpenAI has solved ten significant problems in mathematics and theoretical computer science, including the construction of a non-sofic group and a proof regarding the superexponential growth of the multicolour Ramsey number. These achievements demonstrate the capabilities of large language models (LLMs) in tackling complex mathematical challenges.

ChatGPT for Academic Researchers provides 100,000 scientists and mathematicians with free access to advanced ChatGPT models. An AI-generated disproof of the Erdős unit-distance conjecture was shared in May.