跳到正文
热点事件持续更新

数学家称用o1验证条件解后遭同行攻击

1 篇报道1 个报道来源10 小时前更新

先了解这件事

AI 综述

数学家 Elliot Glazer 发帖称,他在一个订阅额度内获得某个重要数学问题的条件性解法,并动用 o1 进行验证,验证开销约 2000 美元;该解法尚未公布。 Glazer 随后表示,公布前遭到同行连续攻击,转发者将攻击者戏称为“软数学黑帮”,由此引发传统数学家与 AI 辅助数学方式的争议。

AI 根据报道生成 · 9 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月9日
  1. AGI Hunt
    数学家 Elliot Glazer 花 2000 美元用 o1 验证条件解,遭「软数学黑帮」围攻

    数学家 Elliot Glazer 称,他在一个订阅额度内用 o1 验证某重要问题的条件性解法,验证开销为 2000 美元。公布前,他遭同行连番攻击,转发者将围攻者戏称为「软数学黑帮」,事件引发传统数学家与 AI 辅助数学方式之间的争议。

本事件热度走势

可比范围当前
8
可比范围峰值
1011月9日 09:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。