小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

GPT-5.2 Pro独立证明了埃尔德什猜想,经过陶哲轩验证,未发现错误。该问题已有更简单的解法,涉及经典定理。陶哲轩提醒在评估AI成功率时需注意报告偏差,真实成功率约为1%至2%。

45年数论猜想被GPT-5.2 Pro独立完成证明,陶哲轩:没犯任何错误

量子位
量子位 · 2026-01-19T08:29:43Z
高阶Erdős–Herzog–Piranian曲线的最大长度

论文《高阶Erdős–Herzog–Piranian曲线的最大长度》解决了多项式曲线弧长的旧问题,验证了Erdős等人的猜想,并通过优化方法改进了现有界限,得出了一系列新结果。

高阶Erdős–Herzog–Piranian曲线的最大长度

What's new by TerryTao
What's new by TerryTao · 2025-12-16T06:18:34Z
三星堆的猜想

三星堆的青铜器和祭祀文化揭示了古蜀国的叙事逻辑。祭司通过仪式重述历史,塑造集体记忆,仪式的胜利超越了真实的胜利。国家的消亡源于叙事的消失和共同体认同的丧失,最终被遗忘。

三星堆的猜想

Est's Blog
Est's Blog · 2025-12-12T00:56:00Z
由其平移的平方自由性质主导的序列增长速率

本文讨论了Wouter van Doorn与作者关于自然数序列增长速率的研究,特别是平方自由数的关系。研究表明,尽管这些序列的密度为零,但增长速度可以非常缓慢。作者探讨了Erdős提出的几种性质,并证明了某些序列在特定条件下的密度和增长速率。最后,作者分析了Erdős的猜想,指出需要更多数据来确认其有效性。

由其平移的平方自由性质主导的序列增长速率

What's new by TerryTao
What's new by TerryTao · 2025-12-02T03:31:20Z

90后华人副教授陈远思攻克了困扰数学界30年的塔拉格兰卷积猜想,成果与生成式AI相关,为高维离散空间平滑化提供了数学支持,对机器学习中的正则化概念产生重要影响。

90后华人副教授突破30年数学猜想!结论与生成式AI直接相关

量子位
量子位 · 2025-11-26T04:45:19Z

17岁少女汉娜·凯罗推翻了40年前的Mizohata-Takeuchi数学猜想,震惊学界。她11岁学微积分,14岁达到大学水平,现已获马里兰大学博士录取资格,决定跳过本科直接攻读博士学位。

高中没毕业直接读博,17岁少女推翻40年数学猜想后的下一步

量子位
量子位 · 2025-08-08T07:41:12Z

机器之心数据服务现已上线,提供高效稳定的数据获取,简化数据爬取流程。

刚刚,谷歌「IMO金牌」模型上线Gemini,数学家第一时间证明猜想

机器之心
机器之心 · 2025-08-02T12:50:40Z

17岁少女汉娜·凯罗在完成家庭作业时推翻了40年前的Mizohata-Takeuchi数学猜想。她的导师张瑞祥是北大校友,现为UC伯克利助理教授。汉娜的反例挑战了傅里叶分析和偏微分方程的核心理论,未来将攻读博士学位。

17岁少女推翻40年前数学猜想,师从北大校友张瑞祥,将攻读博士学位

量子位
量子位 · 2025-07-08T14:26:07Z
将阶乘分解为大因子(第二版)

博里斯·阿列克谢耶夫等人发布了论文“将阶乘分解为大因子”的第二版,全面重写并扩展了之前的内容。研究通过理论和数值贡献,解决了文献中的所有猜想,并计算了相关量,提供了更大的上下界,验证了Guy和Selfridge的多个猜想。采用贪心算法和线性规划等方法提高了计算精度,发现线性规划的准确性令人惊讶。

将阶乘分解为大因子(第二版)

What's new by TerryTao
What's new by TerryTao · 2025-06-04T06:09:01Z
这个线性时间的三角形查找算法将暗示许多3SUM困难问题的亚二次解决方案,因为三角形检测是3SUM困难的,并且在合理的猜想下,归约保持时间复杂度。

抱歉,我无法访问链接内容。请提供文章的具体内容,我将为您进行总结。

这个线性时间的三角形查找算法将暗示许多3SUM困难问题的亚二次解决方案,因为三角形检测是3SUM困难的,并且在合理的猜想下,归约保持时间复杂度。

DEV Community
DEV Community · 2025-05-27T22:46:38Z
将阶乘分解为大因子

本文研究了阶乘分解为大因子的最大数量及其上下界,Erdös提出了相关猜想,Guy和Selfridge对此进行了深入探讨。作者通过调整因子的分配,改进了上下界,并提出新的猜想,期望通过计算机进行验证。

将阶乘分解为大因子

What's new by TerryTao
What's new by TerryTao · 2025-03-27T04:14:56Z

本研究提出了代数组合学数据集库(ACD Repo),旨在帮助数学家推测开放问题中的高难度问题。该库包含与基础结果相关的数据集,促进研究级问题的猜想过程,并探讨机器学习模型的应用及其挑战。

机器学习与代数组合学:一个研究级猜想能力的数据集套件

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-03-09T00:00:00Z
半个世纪后,著名的麦凯猜想终获证明!数学家夫妇终结了一个未解群论难题

德国研究生Britta Späthen与数学家Marc Cabanes共同攻克了群论中的重要未解难题——麦凯猜想。经过多年的努力,他们于2024年成功证明了这一猜想,震惊了数学界。

半个世纪后,著名的麦凯猜想终获证明!数学家夫妇终结了一个未解群论难题

机器之心
机器之心 · 2025-03-04T05:21:54Z

本研究解决了当前 SMT 和 ATP 系统在解决需要归纳和算术推理的复杂问题时的不足。研究提出了一种自学习方法,通过反馈循环迭代,自动生成并选择有效的归纳谓词,最终成功解决了 5565 个问题,显著提高了解决问题的能力。

从零开始学习猜想

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-03-03T00:00:00Z

北大校友王虹与Joshua Zahl成功证明了困扰数学界百年的挂谷猜想,陶哲轩对此表示激动。若王虹获奖,将成为首位中国籍女性菲尔兹奖得主,此成果引发热议,标志着她在数学界的重要突破。

90后北大校友破解挂谷猜想,陶哲轩激动转发!网友:预定菲尔兹奖

量子位
量子位 · 2025-02-28T05:45:18Z
王洪与扎尔的三维Kakeya猜想

香港的王洪和约书亚·扎尔在几何测度理论方面取得重大进展,成功解决了三维Kakeya集合猜想,证明其必须具有三维的Minkowski和Hausdorff维度。他们的论文提出了新的证明方法,涉及复杂案例分析和迭代方案,推动了该领域的发展。

王洪与扎尔的三维Kakeya猜想

What's new by TerryTao
What's new by TerryTao · 2025-02-26T04:47:14Z

本科生安德鲁·克拉皮文意外发现了一种新型哈希表,其查询速度超越了姚期智40年前的猜想,最坏情况下时间复杂度与(log x)²成正比。这一发现对数据结构的理解和改进具有重要意义,表明创新常源于意外探索。

本科生颠覆姚期智40年前猜想!意外发现新型哈希表,数据搜索速度突破理论上限

量子位
量子位 · 2025-02-11T07:09:29Z
本科生推翻姚期智40年前的猜想,哈希表的平均查询时间竟与填满程度无关

1985年,姚期智提出的哈希表猜想被本科生Krapivin推翻。他通过研究微型指针和新哈希表,发现其查询速度远超传统方法,颠覆了40年的观点。这一成果对计算机科学中的哈希表进行了重要的重新审视。

本科生推翻姚期智40年前的猜想,哈希表的平均查询时间竟与填满程度无关

机器之心
机器之心 · 2025-02-11T04:56:58Z
GPT-5、 Opus 3.5为何迟迟不发?新猜想:已诞生,被蒸馏成小模型来卖

OpenAI 可能在内部开发 GPT-5,但尚未发布,以提高投资回报。Anthropic 的 Claude Opus 3.5 也未如预期推出,可能因性能不佳。两者通过蒸馏技术提升小型模型性能,降低推理成本。随着 AI 需求激增,实验室面临成本压力,可能选择保留更强大的模型用于内部优化,而非公开发布。

GPT-5、 Opus 3.5为何迟迟不发?新猜想:已诞生,被蒸馏成小模型来卖

机器之心
机器之心 · 2025-01-17T04:00:02Z

北大数学家袁新意在《数学年刊》发表论文,统一了算术与几何的Bogomolov猜想,提出新方法解决Uniform Bogomolov问题,为相关领域提供新视角。期待他在算术几何领域继续取得更多进展。

北大数学家独作论文登数学顶刊!袁新意统一了算术与几何Bogomolov猜想

量子位
量子位 · 2024-12-28T04:00:51Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 模力方舟 Gitee AI 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码