DeepMind AI破解9道数学难题并投稿同行评审
AlphaProof Nexus 在 353 个 Erdős 悬置问题中解出 9 个，还顺手证了 44 个 OEIS 猜想、推进了一个代数几何问题。
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.
AlphaProof Nexus 在 353 个 Erdős 悬置问题中解出 9 个，还顺手证了 44 个 OEIS 猜想、推进了一个代数几何问题。
The skinny isn't ready yet — notes appear once the transcript is processed.