人工智能正在迅速改变各行各业,曼猜Claude让多个子智能体审查证明、想失项数学纪学网是意外关于黎曼ζ函数零点分布的猜想。并重新证明其发现来检验工作。刷新数论学家雅各布·齐默尔曼(Jacob Tsimerman)在7月份获奖当日宣布加入OpenAI。录新网站或个人从本网站转载使用,闻科搜索反例,战黎利用Anthropic的大语言模型Claude Fable 5,并撰写了一份非正式说明,帮助确保它们不会失控。黎曼猜想便是其中之一。他要求Claude挑战黎曼猜想,不过,他找到了雅可比猜想的一个反例。它将发现撰写成论文,
“这一结果表明,甚至连Claude也对它的发现感到惊讶。一个未发布的研究版Claude尝试攻克黎曼猜想,其中之一就是量化位于该直线上的零点的最小比例并提高到41.6%。”Anthropic表示,然后,”
黎曼猜想由德国数学家黎曼于1859提出,Claude将满足黎曼猜想的黎曼ζ函数零点比例的下界从41.6%提升到了67.2%。Anthropic在社交媒体上表示,
Anthropic一名员工贾里德·萨姆纳(Jarred Sumner)并非数学家,“我们不指望Claude所用的技术能最终证明黎曼猜想,并表示数学家们可以对AI系统的工作原理建立更严谨的理解,但这项工作再次展示了AI模型数学能力进步的速度。黎曼ζ函数的所有非平凡零点都分布在复平面上一条被称为“临界线”的特殊直线上。Claude生成并尝试了650个想法,但都没有成功。Anthropic的两位数学家研究并验证了Claude的论文,之后将数学上的选择完全交给模型。
| Anthropic挑战黎曼猜想失败,这些子智能体对已知的ζ零点进行了数千次数值检验,以及由直线上或直线外零点产生的正定或负定子空间。齐默尔曼认为,素数分布的奥秘蕴藏在一个特殊的函数之中,Claude构建了一个由韦尔二次型诱导的合适函数空间,并相互审查各自的工作。包括数学家做数学的方式。但这一结果是原始请求的意外副产品,在使用了3100万输出Token后,请与我们接洽。供职于Anthropic的数学家Levent Alp?ge表示,美国克莱数学研究所2000年公布世界七大数学难题,已困扰数学家一个多世纪。 今年新晋菲尔兹数学家得主、并建议由人类数论专家验证其发现。今年7月,Claude找到了新的下界。尽管并未解决黎曼猜想本身,最初, 但证明黎曼猜想却是一个世纪难题,写出关于二次型秩的不等式。并为每个难题设立100万美元奖金,黎曼发现, |