托马斯·布鲁姆的厄尔德什问题网站近期活跃，AI辅助方法帮助解决了一些开放问题。建立精确的数学问题数据库后，促进了人类与AI的合作。作者提议创建众包的“优化常数”库，记录已知的最佳上下界，以激励数学家和研究团队的努力。

分析数论依赖于渐近符号的结果，许多结论仅在渐近意义上有效。为提高准确性，启动了显式分析数论网络项目，旨在通过众包形式化相关结果，并创建互动电子表格以自动更新数值估计。项目欢迎志愿者参与，使用AI辅助进行形式化任务。

Thomas Bloom的erdosproblems.com网站汇集了近千个保罗·厄尔多斯提出的问题，约三分之一已解决。网站新增讨论论坛以促进问题解决。我们计划通过众包项目计算与厄尔多斯问题相关的整数序列，并与在线整数序列百科全书（OEIS）交叉验证，吸引更多数学爱好者参与研究。

TikTok推出了“脚注”功能，允许用户为视频添加社区事实检查和额外上下文。该功能将在未来几周内向美国用户推出，已有近80,000名用户成为贡献者。此系统旨在通过不同观点达成共识，类似于其他社交平台的社区笔记功能。

Logitech确认其大多数网络摄像头与任天堂Switch 2兼容，唯独高端的Brio 4K不支持。其他品牌如Elgato和Ugreen也在更新兼容性。消费者通过众包方式整理了可用摄像头列表。

MarketMail是一个为乌干达和东非提供的众包农产品价格交换平台，完全通过电子邮件运行。农民发送价格列表，系统解析、存储数据，计算市场趋势，并提供实时价格和报告，支持基本电子邮件客户端。

华盛顿大学的David Baker团队开发了Foldit游戏，允许玩家设计蛋白质。新模式Drugit则让玩家参与小分子药物设计，验证了众包在药物研发中的可行性，未来可扩大参与范围。

未来的人工智能应由黑客、玩家和开发者共同构建，而非依赖大公司。我正在创建NeuroMesh，一个众包AI超级计算机，允许用户出租闲置GPU，以降低模型训练成本。该项目仍在早期阶段，欢迎有兴趣的开发者加入。

众筹和众包平台改变了创业者和社会倡导者的融资方式。成功的关键在于了解目标受众、选择特定领域、设计用户友好的界面、提供安全支付选项、讲述动人故事，以及增强互动和社区反馈。透明的更新和合理的盈利模式有助于吸引和留住支持者。

传统上，数学研究由少数专家进行，难以大规模组织。证明助手语言如Lean提供了解决方案，允许专业数学家、公众和AI工具共同参与复杂项目。通过模块化分解，可以实现大规模协作。目前主要是人类参与，但也有自动化工具的尝试。项目如“Polymath”展示了这种协作的潜力。本文提出试点项目，探索简单代数理论的等式公理，利用证明助手和众包方法扩展研究规模。