PhD students and postdoctoral researchers: Students and postdoctoral researchers who are interested to join my research group at the Chinese University of Hong Kong, Shenzhen in China and at the ...

Mathematics is the crystallization of human intelligence. For thousands of years, mathematicians have unraveled the principles of this universe using only pen, paper, and sharpened intuition. However, ...

This is 'self-evident view'. Not 'land swindler'. This article is for people who say, 'I can understand the proof, but I'm just not convinced,' or 'How do I actually use this concept?' Also, feel free ...

Yang-Hui He is a fellow at the London Institute for Mathematical Sciences in London, UK. Among mathematicians and theoretical physicists, artificial intelligence provokes a range of reactions. Some ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...

A consortium of 64 mathematicians built a new benchmark for AI models that exposes two weaknesses: research-level math and the ability to recognize unsolvable tasks. With today's frontier models ...

Kendra Pierre-Louis: For Scientific American’s Science Quickly, I’m Kendra Pierre-Louis, in for Rachel Feltman. In 1997, Deep Blue, a supercomputer built by IBM, did the unexpected: it defeated chess ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do ...

Why is untangling two small knots more difficult than unravelling one big one? Surprisingly, mathematicians have found that larger and seemingly more complex knots created by joining two simpler ones ...

Mathematician Joshua Zahl made headlines for solving the 100-year-old math problem Kakeya conjecture. He is now leaving Canada’s University of British Columbia and moving to China. Here is why.