Human mathematicians are being outcounterexampled

人类数学家正被反例挑战

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. This sparked immediate skepticism regarding human verification and the lack of formal verification in Lean, despite testimonials from mathematicians.

⋯ 继续阅读请登录会员 ⋯