实体
Erdős problem
Erdős problem
PulseAugur coverage of Erdős problem — every cluster mentioning Erdős problem across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 3 条
-
AI解决Erdos问题消耗水资源少，电力消耗适中
Ethan Mollick在Bluesky上发帖，估算了使用AI解决Erdos问题的资源成本。计算表明，这需要消耗0.6至6.3千瓦时的电力和3至31升的水。这种消耗量相当于不到三颗杏仁的水量，以及驱动电动汽车行驶2至20英里所消耗的电量。
-
GPT-5.4 Pro 协助一名 23 岁青年解决有 60 年历史的 Erdős 问题
一名 23 岁的个人利用 GPT-5.4 Pro 解决了被称为 Erdős 问题的一个有 60 年历史的数学问题。该解决方案，即基于离散马尔可夫链的证明，已通过 Lean 证明助手得到验证。这一成就被专家认为是数论领域的一项重大进展，得益于人工智能的协助。
-
业余爱好者使用 ChatGPT 解决 60 年代数学难题，令学者震惊
一位名叫 Liam Price 的 23 岁年轻人，没有接受过正规的高等数学训练，据报道解决了被称为 Erdős 问题的一个关于原始集的 60 年代数学问题。Price 使用了 ChatGPT Pro，采用了一种新颖的方法，将一个已知公式以非传统的方式应用。专家认为这种方法可能对大数研究产生更广泛的影响。