「美国科技公司」共找到 2611 篇相关文章
个人开发者时代崛起！22岁印度开发者搞的业余项目被马斯克Groq看上，如今用户破6万
22岁孟买开发者Zaid Mukaddam开发开源AI搜索引擎Scira，定位为“Perplexity替代品”。项目初期走红，后因流量激增成本上升，获Groq等公司支持。如今用户破6万，其成功激励更多开发者。
如何选择最佳多模态大模型压缩方案？哈工大、度小满开源EFFIVLM-BENCH基准测试框架
金融科技智能化转型中，LVLM部署受算力瓶颈制约。哈工大与度小满联合开源EFFIVLM - BENCH基准测试框架，能为多模态大模型压缩方案出具‘体检报告’，还揭示LVLM加速复杂性，推动技术发展。
一个数据集，一年产稿7876篇！AI强力加持，垃圾论文海量爆发
利用美国NHANES公共数据集，结合AI工具，研究者批量生产质量堪忧的论文。这不仅是技术滥用，更是科研评价体系扭曲的缩影。背后有论文工厂作祟，根源在于学术生态的扭曲。
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。
AI让文科彻底灭绝？算法猜不透人心，人类终将反杀！
著名科技记者Steven Levy给文科生打强心剂，认为无论AI多强大，它没人性，人文学科涉及对人类行为与创造力的理解，是计算机无法获得的，文科生仍有广阔未来。
两年内打造AI软件工程师！OpenAI Codex 作者解密人机结对编程新模式
AI科技大本营编译访谈，OpenAI的Josh Ma与Alexander Embiricos分享Codex项目，包括缘起、人与AI结对编程范式，还探讨产品形态、最佳实践等，预测两年内打造智能体软件工程师。
中国需要什么样的机器人?
当下具身智能火爆，人形机器人虽吸睛但商业化难。工业智能体已落地产线，如思谋科技产品进入全球300家龙头企业流水线。行业存在算法不成熟、发展慢等痛点，工业具身智能有望成下一个热门赛道。
GoPro卖身了，准备搞光模块
当地时间9月1日，GoPro与Starman Optical达成合并协议，后者2.85亿美元收购约90%股权。GoPro曾辉煌，后因产品、对手、内存等问题衰败。Starman看中专利等，GoPro或涉足新领域。
闭源RSI的严父来了：18个Agent自主科研，Kimi K3靠Harness逼近Opus 5
开源AI基础设施公司Prime Intellect研究表明，借助多智能体Harness，让开源模型负责监控和实现，可让‘AI开发AI’更便宜、效果更好。实验中，Kimi K3搭配Harness逼近Opus 5。
Vibe Coding误烧55万元token，他靠嘲笑声反手赚了7个亿
美国企业金融服务公司Slash鼓励Vibe Coding，员工尼哥开发《Brainrot Shooter》，称花8万多美元，引发关注。游戏火了，还带来1亿美元AUM，最后发现账单是假的，成本不到200美元。