托马斯·布鲁姆的厄尔德什问题网站近期活跃,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,以降低模型训练成本。该项目仍在早期阶段,欢迎有兴趣的开发者加入。
本研究旨在解决从人类参与者获取语言学数据的挑战,尤其是在参与者注意力控制和工作条件方面的不足。作者提出利用大型语言模型(LLMs)来优化数据收集过程,并通过两项案例研究展示LLMs在语言学任务中的优越性能及其在相似实验中的潜在应用。研究发现,进一步利用提示技术如链式思维(CoT)提示有助于提高模型与人类表现的一致性,表明LLMs在语言学领域和人文学科的未来应用值得深入探索。
本研究针对海带森林检测的准确性不足问题,提出了一种将众包标签与先进人工智能模型相结合的新方法,利用Landsat图像开发快速且准确的海带冠层检测管道。研究发现,通过训练混合视觉变换器与ConvNeXt模型,结合不同图像尺寸的数据,能够显著提高识别精度,达到了识别四分之三海带冠层像素的高检测率,展示了该方法在环境监测中的巨大潜力。
众筹和众包平台改变了创业者和社会倡导者的融资方式。成功的关键在于了解目标受众、选择特定领域、设计用户友好的界面、提供安全支付选项、讲述动人故事,以及增强互动和社区反馈。透明的更新和合理的盈利模式有助于吸引和留住支持者。
本文探讨了隐含话语关系标注的众包任务设计,比较了自由选择与强制选择的标注结果。研究发现,自由选择方法灵活但标注多样性较低,容易集中于常见标签,强调了任务设计与标注者能力之间的相互影响。
在配送需求增长的背景下,众包骑手的动态定价管理变得至关重要。通过马尔可夫决策过程(MDP)模型,站点可以根据骑手的可用性和市场需求制定定价策略,以最大化收入和降低成本。动态定价在高峰期和偏远地区尤为复杂,需要精细规划以应对不确定性。
本文探讨了众包方法在收集句子框架语义歧义注释中的应用,强调多个注释者的重要性。介绍了涵盖12种语言的Multi-SimLex词汇资源,促进跨语言NLP任务的发展。研究量化了语言资源的不平等性,并提出改善低资源语言数据收集的方法。通过案例研究,验证了与语言多样性相关的计算词典丰富方法。
本研究提出了一种众包方法,收集人类身体语言数据,建立大型数据集并分析情感表达。开发了名为ARBEE的系统,结合身体与面部表情进行情感识别。研究探讨了社交机器人如何通过非语言提示增强共情能力,并利用大型语言模型生成自然对话。通过强化学习,机器人能够模仿人类动作,提升与人类的互动表现。
本文探讨了众包注释中的答案聚合问题,提出了一种人类与大语言模型(LLM)结合的聚合方法。实验结果表明,LLM在此应用中表现出色,显示了人类与LLM协作的潜力。
作者分享了如何利用Amazon Mechanical Turk(MTurk)作为2024年的兼职收入来源。他每天工作1-2小时,一个月赚约$400。MTurk是一个灵活的众包平台,适合在家工作。作者强调耐心和策略,建议使用BZTurk等工具提高效率。尽管开始收入较低,但经验增加后收入会提高。适合需要灵活兼职的人,但需时间和坚持。
传统上,数学研究由少数专家进行,难以大规模组织。证明助手语言如Lean提供了解决方案,允许专业数学家、公众和AI工具共同参与复杂项目。通过模块化分解,可以实现大规模协作。目前主要是人类参与,但也有自动化工具的尝试。项目如“Polymath”展示了这种协作的潜力。本文提出试点项目,探索简单代数理论的等式公理,利用证明助手和众包方法扩展研究规模。
本文通过众包和自然语言处理技术,构建了一个分析文学作品中角色关系和性别偏见的数据集。研究涵盖古典到现代的多部作品,探讨性别刻板印象和角色情感关系的变化。结果显示,男性角色常被物化,而女性角色在语言风格上更具独特性,为未来研究提供了新思路。
完成下面两步后,将自动完成登录并继续当前操作。