JavaScript must be enabled in the browser to access the site. Issues with loading may stem from browser settings, network problems, or browser extensions such as ad blockers.

Top mathematicians have issued a challenge to AI systems to solve a set of unsolved mathematical problems within a week, as part of an initiative called “First Proof.” These problems are newly formulated and are not present in any large language model's training data.