每天听简报,了解最新科技、AI、软件资讯
Erdős 数学问题网站宣布暂停题目评论和证明申报,把整理重点转向能让人读懂的证明讲解。维护者 Thomas Bloom 在十月六日解释,许多提交只展示人工智能生成的证明,却没有解释思路,他不愿把社区经营成抢先声明成果的仓库。按这次调整,旧评论和证明申报会保留为档案,题目的已解或未解标签将撤下。一般讨论和博客仍允许评论,更新建议可以通过邮件提交。他仍会链接正确的形式化证明,也接收人工智能参与的高质量讲解,但要求诚实披露使用方式。Bloom 认为,回答一道题以后,理解和讨论仍有价值;这次暂停没有确定的结束日期。
进度保存在本设备 · 登录同步