Human mathematicians are being outcounterexampled

> 人类数学家正在被反例碾压

HN 119 分 · 40 条评论 · 作者 artninja1988 · 来源 xenaproject.wordpress.com · HN 讨论

> HN 119 分 · 40 条评论 · 作者 artninja1988 · 来源 xenaproject.wordpress.com · HN 讨论

The author reflects on recent events where AI systems generated counterexamples to mathematical conjectures, specifically citing the disproval of Erdős’ Unit Distance conjecture by ChatGPT.

⋯ 继续阅读请开通会员 ⋯