小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI
众包优化常数库?

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

众包优化常数库?

What's new by TerryTao
What's new by TerryTao · 2026-01-23T03:24:40Z
集成显式分析数论网络

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

集成显式分析数论网络

What's new by TerryTao
What's new by TerryTao · 2026-01-16T07:24:59Z

作者体验美团众包,感受到职业地位差异。送外卖时遭小区保安冷待,而同行却互相帮助。生活压力使人专注生存,精神追求常被物质需求限制。

众包体验

烟草的香味
烟草的香味 · 2025-09-03T08:04:04Z
一个众包项目,将erdosproblems.com与在线整数序列百科全书(OEIS)连接起来

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

一个众包项目,将erdosproblems.com与在线整数序列百科全书(OEIS)连接起来

What's new by TerryTao
What's new by TerryTao · 2025-09-01T07:23:52Z
TikTok视频即将获得众包事实检查

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

TikTok视频即将获得众包事实检查

The Verge
The Verge · 2025-07-30T13:31:33Z
罗技称其所有网络摄像头均与任天堂Switch 2兼容——唯独一款例外

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

罗技称其所有网络摄像头均与任天堂Switch 2兼容——唯独一款例外

The Verge
The Verge · 2025-06-27T20:43:48Z
市场邮件

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

市场邮件

DEV Community
DEV Community · 2025-05-27T21:37:12Z
给大卫贝克的Foldit加DLC,用游戏进行人人可参与的药物分子设计

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

给大卫贝克的Foldit加DLC,用游戏进行人人可参与的药物分子设计

机器之心
机器之心 · 2025-04-16T04:55:00Z
🧠 网格即将到来:我们如何从零开始构建人工智能的未来

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

🧠 网格即将到来:我们如何从零开始构建人工智能的未来

DEV Community
DEV Community · 2025-03-30T21:05:38Z

本研究旨在解决从人类参与者获取语言学数据的挑战,尤其是在参与者注意力控制和工作条件方面的不足。作者提出利用大型语言模型(LLMs)来优化数据收集过程,并通过两项案例研究展示LLMs在语言学任务中的优越性能及其在相似实验中的潜在应用。研究发现,进一步利用提示技术如链式思维(CoT)提示有助于提高模型与人类表现的一致性,表明LLMs在语言学领域和人文学科的未来应用值得深入探索。

大型语言模型是语言学未来的众包工作者吗?

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-02-14T00:00:00Z

本研究通过众包隐喻方法收集了超过12,000条回应,探讨公众对人工智能(AI)的看法。结果显示,美国公众普遍认为AI既温暖又有能力,且对AI的人性化认知显著提升,这影响了公众对AI的信任和采纳意愿。

从工具到“小偷”:通过众包隐喻测量和理解公众对人工智能的看法

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-01-29T00:00:00Z

本研究针对海带森林检测的准确性不足问题,提出了一种将众包标签与先进人工智能模型相结合的新方法,利用Landsat图像开发快速且准确的海带冠层检测管道。研究发现,通过训练混合视觉变换器与ConvNeXt模型,结合不同图像尺寸的数据,能够显著提高识别精度,达到了识别四分之三海带冠层像素的高检测率,展示了该方法在环境监测中的巨大潜力。

利用众包标签和混合视觉变换器及ConvNeXt分割模型增强遥感图像中的海带森林检测

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-01-23T00:00:00Z
如何创建众包和众筹网站:成功的路线图

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

如何创建众包和众筹网站:成功的路线图

DEV Community
DEV Community · 2025-01-10T09:03:40Z

本文探讨了隐含话语关系标注的众包任务设计,比较了自由选择与强制选择的标注结果。研究发现,自由选择方法灵活但标注多样性较低,容易集中于常见标签,强调了任务设计与标注者能力之间的相互影响。

关于话语关系标注的众包任务设计

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-12-16T00:00:00Z

在配送需求增长的背景下,众包骑手的动态定价管理变得至关重要。通过马尔可夫决策过程(MDP)模型,站点可以根据骑手的可用性和市场需求制定定价策略,以最大化收入和降低成本。动态定价在高峰期和偏远地区尤为复杂,需要精细规划以应对不确定性。

强化学习在众包差异化定价中的探索

京东科技开发者
京东科技开发者 · 2024-11-29T02:09:36Z

本研究提出了一种端到端的智能预测优化框架,解决了车辆众包感知中的分布偏差问题,改进了传统方法,减少了错误传播的影响,展示了在智能交通系统中的应用潜力。

端到端智能预测优化框架在大规模车辆众包感知中的车辆调度问题

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-11-27T00:00:00Z

本研究提出了一种新型众包方法,旨在解决多语言词汇的偏见与质量问题。通过比较亲属关系和食品等领域的词汇,发现2171个词汇差异,验证了该方法的有效性。

众包词汇多样性

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-10-30T00:00:00Z

本文探讨了众包注释中的答案聚合问题,提出了一种人类与大语言模型(LLM)结合的聚合方法。实验结果表明,LLM在此应用中表现出色,显示了人类与LLM协作的潜力。

Hybrid Text Answer Aggregation of Humans and Large Language Models for Crowdsourced Annotations

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-10-22T00:00:00Z

作者分享了如何利用Amazon Mechanical Turk(MTurk)作为2024年的兼职收入来源。他每天工作1-2小时,一个月赚约$400。MTurk是一个灵活的众包平台,适合在家工作。作者强调耐心和策略,建议使用BZTurk等工具提高效率。尽管开始收入较低,但经验增加后收入会提高。适合需要灵活兼职的人,但需时间和坚持。

我花了30天做Amazon Mechanical Turk:我赚了多少钱?(2024版)

DEV Community
DEV Community · 2024-10-18T05:18:49Z
在通用代数中探索协作与机器辅助新方法的试点项目

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

在通用代数中探索协作与机器辅助新方法的试点项目

What's new by TerryTao
What's new by TerryTao · 2024-09-26T04:23:19Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 模力方舟 Gitee AI 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码