继OpenAI后，Anthropic的Claude也解出这道80年数学难题
终于，具身智能的“真机数据”难题有了新解法
【新智元导读】DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年！更妙的是，AI不仅验证了一个固定算法，还在证明过程中自主搜索并发现了一个…
马斯克放弃地面太阳能，重心转向太空光伏
华为新封装技术打造122TB SSD：规避3D NAND芯片制裁
七个月前，这家人工智能巨头前副总裁凯文・韦尔在社交平台X上发文称：“GPT-5攻克了10道此前悬而未决的埃尔德什难题，还在另外 11道难题上取得了研究进展。” 该企业表示，这是人工智能首次自主攻克某一数学核…
05/29 10:26
04/01 16:41
10/31 16:58
京公网安备 11011402013531号