AI 一周攻克三个数学猜想

Another Math win for AI.

2 conjectures from the 80s and one from 2002 all died this week.

and this is the slowest AI math will ever be.

Any problem with a checkable answer can be potentially solved at the speed of inference.

Mathematical knowledge has always grown at the pace of human patience, but now that has been replaced with compute, and compute compounds.