一个仅有10人的小团队，竟然敢挑战科技巨头Meta的地位，这简直就是现实版的"大卫战胜歌利亚"! 这个名叫Nous Research的初创公司可不是什么无名之辈。他们刚刚推出的He…

谷歌DeepMind的数学人工智能模型在今年的国际数学奥林匹克（IMO）比赛中取得了突破性进展。据官方消息，正规数学推理模型AlphaProof和改进版几何求解模型AlphaGeometry2共同攻克…