Move Over, Mathematicians, Here Comes AlphaProof
Briefly

DeepMind's A.I. system achieved silver medal level performance in the International Mathematical Olympiad, signaling a transformative change in A.I.'s ability to do mathematics.
Pushmeet Kohli, Google DeepMind's vice president of research, described the A.I.'s performance as a phase transition, highlighting the significant advancement in mathematical reasoning by the system.
Read at www.nytimes.com
[
]
[
|
]