Thomas Bloom
PulseAugur coverage of Thomas Bloom — every cluster mentioning Thomas Bloom across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
OpenAI 的 Astra 模型解决了 10 个具有可验证证明的数学问题
据报道，一个尚未发布的 OpenAI 模型 Astra 已经解决了十个长期存在的数学问题，其中一些问题悬而未决已有数十年。与之前的说法不同，此次成果得到了数学上可验证且机器可检查的证明支持，这大大增加了其可信度。解决这些问题所需的计算成本约为 2000 美元，此前曾揭穿 OpenAI 一项早期夸大说法的数学家 Thomas Bloom 已确认了这些新成果的实质性。
-
OpenAI 的 Astra AI 解决了传奇的埃尔德什问题，重塑数学研究
OpenAI 宣布在数学领域取得重大突破，其未发布的 AI 模型 Astra 解决了几个长期存在的埃尔德什问题。这标志着一个关键时刻，AI 不仅在协助，而且在独立生成新的数学见解，包括单位距离问题的反例以及保罗·埃尔德什提出的另外三个猜想的解决方案。这些进展正在重塑数学研究，像 Noga Alon 这样的数学家指出 AI 能力的阶段性转变。这一发展还凸显了 AI 在以前由人类智慧主导的领域日益增长的影响力，OpenAI 的模型在解决这…
-
OpenAI的Astra模型解决了十年来的数学难题，引发了关于AI创造力的辩论
据报道，OpenAI的内部模型Astra解决了数学和理论计算机科学中的十个复杂问题，其中包括一个自1999年以来悬而未决的问题。该模型生成了一个反例来证明soficity猜想，该证明已得到正式验证并在GitHub上发布。虽然这一成就是显著的，并得到了数学家的认可，但值得注意的是，Astra是在现有概念框架内解决问题的，而不是发明新的概念框架，这使其与范式转移式的发现区分开来。
-
OpenAI模型解决80年数学难题，引发争议
OpenAI宣布，一个未发布的新推理模型帮助解决了一个已有80年历史的数学猜想。该模型利用思维链推理，系统地探索了人类数学家曾忽略的路径。尽管令人印象深刻，但一些专家警告说，这一成就可能更多是OpenAI新模型的一次营销展示，而非AI辅助数学领域的重大进展，并建议小型、更专业的模型结合现有工具可能是未来的方向。
-
OpenAI AI模型证伪一项已有80年历史的数学猜想
OpenAI宣布在数学领域取得重大突破，其通用推理模型之一证伪了一个已有80年历史的猜想，即平面单位距离问题。该AI模型发现了离散几何与代数数论之间意想不到的联系，这一联系已被人类数学家验证，并被誉为一项里程碑。这一成就凸显了AI系统不仅能解决复杂问题，还能连接不同知识领域，从而可能加速未来的研究。
-
OpenAI模型证伪一项已有80年历史的数学猜想
OpenAI的通用推理模型证伪了离散几何学中一个已有80年历史的猜想，即单位距离问题。这标志着AI在数学领域取得了重大进展，因为该模型自主生成了一个新的证明，挑战了该领域长期以来的观点。与之前一项被撤回的说法不同，这一突破已得到数学家们的证实，包括那些先前表示怀疑的人。