“我真的很害怕”:一个Mathematician Grapples WithAI最近的突破

本期编译精选。【导语】装入器 保存故事 保存这个故事 装入器 保存故事 保存这个故事 数学家和。作家史蒂文·斯多格茨(Steven Stagentz)在谈论过去一周他领域由人工智能驱动的突破时开始哭泣。装入器

保存故事

保存这个故事

装入器

保存故事

保存这个故事

数学家和。作家史蒂文·斯多格茨(Steven Stagentz)在谈论过去一周他领域由人工智能驱动的突破时开始哭泣。

Cornell 大学教授说：“但是，

周二，OpenAI表示曾用数以万计的代理解决了90多年前的数学问题，其中附有一百万美元的奖金。这种解决办法——仍需独立核实——是西班牙数学家迭戈·科尔多瓦和路易斯·马丁内斯-佐罗阿制定的战略的基础。另一位数学家特里斯坦·巴克马斯特(Tristan Buckmaster)声称。OpenAI与Anthropic研究者莱文特·阿尔波克(Levent Alpöge)一同得知他的工作后。Buckmaster声称OpenAI也试图影响谁获得了作品的信用。这本关于数学如何从11月的人类理解中滑走的书中，描述为企业实验室的竞赛，

安特罗皮克(Anthropic)上星期说。克劳德证明了29,500个小定理，同时将臭名昭著的费马最后定理的现有证据正式化——其他数学家多年来一直在研究的一个项目。8月，OpenAI宣布在另外10个长期存在的数学问题上取得了进步。Stagentz说，AI正在使数学突破更快地实现，但对那些致力于该领域的专家来说，它意味着什么就更不明确。

（原文共 13 张图片，此处展示前 3 张，更多图片请前往原文查看）

（编译自 Wired；原文