「生数科技」共找到 1268 篇相关文章
Claude一举扫清2000阶以下哈达玛矩阵！AI开始清空数学“待解列表”
Anthropic研究员携手Claude做出668阶哈达玛矩阵，解决该问题。此问题曾难倒人类数学家30年，被收录进FrontierMath基准测试。此次还扫清2000阶以下所有悬而未决的哈达玛矩阵阶数。
三分之一arXiv沦陷！CS论文65%被判「AI味」，数学仅0.7%
一份unslop研究显示，过去一年arXiv计算机科学领域65%新论文被检测器标红，但可能只是闻起来像AI。数学论文仅0.7%，或因检测器只认文字。研究有局限性，真实用AI比例可能更高。
AI把代码写崩，再花1周1万美元请人用AI修：Vibe Coding的荒诞闭环出现了
Slopfix团队由3名资深工程师组成，专门清理AI生成、难维护的代码库。先免费分析代码，适合重构就报价并承诺代码缩减目标，按完成比例收费。此模式引争议，也反映AI代码治理成新需求。
刷屏了！开源 2 天斩获 41K+ 标星！这个 OpenAI 赞助的 AI 终端 Warp 开源了！
Warp宣布开源，不到24小时GitHub Star数达3.5w+，现超41K。它从现代终端演变成Agent化开发环境，由OpenAI赞助。采用双轨制开源协议，推出“Agent优先”工作流，同步产品升级。
刚刚，阿里「欢乐马」正式上线，抢先实测这匹「黑马」
4月27日，阿里ATH团队上线视频生成模型HappyHorse 1.0。它依托多模态架构，音视频创作编辑一体，价格实惠。支持文生、图生、多图参考生视频，视频编辑功能强大，能精准替换主体、添加元素、改变风格。
直播预约 | 世界模型，点燃下一个AI爆点
2026开年，世界模型成科技圈热门议题，被视为通向AGI重要基建。4月15日19:00 - 21:00，机器之心联手黄大年茶思屋，邀5位专家从技术到产业解析世界模型前沿，双平台直播。
Anthropic神话模型发布，但不让你用
Anthropic发布神话模型Claude Mythos Preview却不开放使用，发起玻璃翼计划联合科技巨头用该模型修复全球软件漏洞。此模型能自主发现众多零日漏洞，合作伙伴应用后强调跨行业协作应对网络安全挑战。
Anthropic 那个“强到不敢发”的模型，终于来了！
今天凌晨，Anthropic 发布新模型 Claude Mythos Preview，它曾被指‘强到不敢发’。该模型能力跃升，尤其网络攻防能力突出，但因具‘双重用途’仅向少数伙伴开放，用于防御性网络安全项目。
陶哲轩：我差点江郎才尽，只因在普林斯顿待了一年
菲尔兹奖得主陶哲轩在与播客主理人访谈中称，在普林斯顿埋头搞学术让他灵感枯竭，数学家需生活琐事激发想法。还探讨科学研究，如开普勒定律、AI在数学研究的应用、科学评估等问题。
AI时代已来，魔幻的大模型投毒事件，我们怎么应对？
央视315晚会曝光针对大模型的蓄意信息围猎，虚构手环经力擎系统包装成科技尖货。黑产靠此吸金，利用技术污染证据链。多方已行动，厂商需提升安全能力，消费者要保持警惕。