The Shanghai Artificial Intelligence Laboratory announced today that the three-dimensional Ghys conjecture, a world-class ...

AI models are good at finding answers to mathematical puzzles but are not as good at research judgment, according to ...

The benchmark confirms that some AIs are becoming exceptional tools for research-level math. But open-source models still ...

About 10 minutes of relying on AI assistance for problem-solving can significantly impair a person’s ability to persist ...

Adam Sikora’s complex math problem was used for latest round of experiments testing AI’s rapidly evolving mathematical ...

The Justin Sun Prize announces its first recipients for Erdős problem research, rewarding diverse approaches including ...

We’re giving developers, enterprises, scientists, and consumers access to Gemini 4 Argon, our latest frontier model.

Leading Chinese mathematicians launched the Yau Laboratory Alliance for Mathematics and Artificial Intelligence in Beijing, ...

Chinese mathematicians have formed an alliance to combine artificial intelligence with advanced mathematical research, a self-help move aimed at closing a gap with the U.S. in cutting-edge AI models ...

A Science paper on Google DeepMind's AlphaProof Nexus reports proofs for 9 Erdős problems and 44 OEIS conjectures. We look at ...

AI systems solved and verified over 300 open math problems using formal Lean proofs, signaling a major leap for automated ...

When elementary students learn some tools for discussing math, they can start to see it as more than just quickly getting to ...