黎曼猜想,AI推理模型的梗
在推理模型o1发布后，不少人想尝试用它证明黎曼猜想，如AI大神卡帕西（AndrejKarpathy），抱怨o1mini总是拒绝求解黎曼猜想，是典型的大模型“躺平”。最想摘取这一圣杯的，肯定还有马斯克。它刚当上了美国“深改委”主任（但...
数学家张益唐发表“零点猜想”报告:部分证明黎曼猜想应该是对的
张益唐在报告中解释，“朗道-西格尔零点”被定义为广义黎曼假设的反例。断言“朗道-西格尔零点”不存在的猜测，被称为朗道-西格尔零点猜想。他表示，自己在本质上已经证明了朗道-西格尔零点猜想，其结果可以被改进。今年10月中...