By proving a broader version of Hilbert’s famous 10th problem, two groups of mathematicians have expanded the realm of mathematical unknowability.

Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper published in Nature today, the researchers say it is the first time a large ...

Hilbert’s sixth problem was one of the loftiest. He called for “axiomatizing” physics, or determining the bare minimum of mathematical assumptions behind all its theories.

Other A.I. systems have participated in the International Mathematical Olympiad, or I.M.O., but they could answer questions only after human experts translated them into a computer programming ...