Leaves Fewer Unsolved Problems for Humans! Google DeepMind Solves Nine Erdős Problems in One Go
Google DeepMind's AlphaProof Nexus system solved nine long-standing Erdős mathematical problems, demonstrating the potential of AI in mathematics.
入选理由:谷歌DeepMind的AlphaProof Nexus系统解决了9个长期未解的埃尔德什数学难题。


