In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

OpenAI says an internal model autonomously cracked an 80-year-old math problem, raising new questions about AI's research ...

Researchers from more than 50 international institutions have launched Open Problems (https://openproblems.bio), a collaborative open-source platform to benchmark, improve, and run competitions for ...