两个公告:数学人工智能资源和erdosproblems.com

两个公告:数学人工智能资源和erdosproblems.com

💡 原文英文,约800词,阅读约需3分钟。
📝

内容提要

这篇文章包含两个无关的公告:一个是关于数学人工智能资源列表的推广,另一个是关于erdosproblems.com网站的宣传。数学人工智能资源列表接受新的贡献和更新,erdosproblems.com网站旨在成为保罗·埃尔多什数学问题的存储库。作者呼吁帮助开发该网站。

🔎

延伸解读

两个公告的独立价值

文章虽然将两个公告并列,但各自服务于不同社区。数学人工智能资源列表旨在汇集该领域的工具、论文等资源,由Talia Ringer发起并持续更新,适合关注AI与数学交叉的研究者。而erdosproblems.com则专注于整理保罗·埃尔多什提出的数学问题,是一个面向数学问题爱好者的数据库。两者均依赖社区贡献,但目标受众和内容类型有明显区别。

如何参与erdosproblems.com

Thomas Bloom呼吁多方帮助,参与方式多样:熟悉GitHub者可协助建立贡献系统;有网页设计经验者可优化界面;懂Python/Flask/HTML/SQL者可开发新功能;关注无障碍访问者可提出改进建议;数学家可撰写问题评论;认识埃尔多什者可分享回忆;解决过问题者可提交答案;发现错误者可报告;甚至普通网民也可协助录入问题。作者本人贡献了问题#587,并提到该问题已被Nguyen和Vu在2010年基本解决。

资源列表的更新与研讨会

数学人工智能资源列表目前接受新的贡献、更新或更正,作者正协助Talia Ringer编辑。此外,下周将举行去年“数学推理中的人工智能”研讨会的后续网络研讨会,继续探讨相关主题。对于未能参加去年活动的研究者,这是一个了解最新进展并参与讨论的机会。

❓

Q&A

数学人工智能资源列表的发起人是谁?

数学人工智能资源列表的发起人是Talia Ringer。

erdosproblems.com网站的目的是什么?

erdosproblems.com网站旨在成为保罗·埃尔多什提出的数学问题的存储库。

如何参与erdosproblems.com网站的开发?

可以通过维护项目、网页设计、编码新功能等方式参与erdosproblems.com网站的开发。

下周将举行什么与数学推理相关的活动?

下周将举行与去年“数学推理中的人工智能”研讨会相关的后续网络研讨会。

作者对erdosproblems.com网站的贡献是什么?

作者向该网站贡献了一个问题,并分享了与埃尔多什的个人经历。

erdosproblems.com网站需要哪些方面的支持?

网站需要项目维护、网页设计、编码新功能、提高可访问性等方面的支持。

🏷️

标签

➡️

继续阅读