新智元·· 11 小时前精选AI 评估 · 76/100分数表示内容值得关注的程度,依据实质份量、信息增量、证据强度、读者相关性和可用性,按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误,评分不代表事实已被核实,也不同于热点榜的讨论热度。
OpenAI发布722篇数学证明论文引数学家集体抵制
美国CS教授发文:数学末日来了!人类千年数学殿堂被AI毁了
AI 导读
新智元报道称OpenAI在10月6日一次性放出722篇重大数学难题论文,其中包含困扰学界数十年的唯一博弈猜想(UGC)完整证明,以及L=BPL去随机化、O(n^(9/4))矩阵乘法新界限等成果,据称由即将向付费用户推出的最新内部模型平均约3小时算力完成。
推荐理由
呈现数学界对OpenAI一次性发布722篇机器证明的两极反应,并带出密码学缺席的疑点。
来源:新智元 · mp.weixin.qq.com