➡️
继续阅读
-
数学(与科学)将迎来黄金时代还是黑暗时代?
陶哲轩博客刊载Francesco Maggi客座文章,讨论大语言模型对数学与科学的影响。作者认为LLM已能生成重要证明,但人类理解仍是数学的核心,若知识脱...
-
GNOME 的全新本地/云端 AI 聊天应用新增更多功能
Moose 是一款基于 GTK4 和 libadwaita 的 GNOME 兼容 AI 聊天应用。0.6 版新增安全云连接与凭证存储、“仅限本地”Olla...
-
Windows 11测试加速应用启动功能 从链接/任务栏/开始菜单启动应用时实现更快加载速度
微软在Windows 11预览版测试“加速应用启动”功能,首批仅支持Edge。传统流程需创建临时进程检查应用是否运行再转发请求;新机制让应用提前注册接收启...
-
马斯克的砍价机器人,省钱靠的不是砍价
马斯克的Haggle Bot实为Grok Bot的公开提示词,只生成砍价策略,决策仍由人把关。其宣称省下的10万美元主要来自发现无人使用的软件席位,而非真...
-
费城一女子因阻挡送货机器人被捕
费城女子卡罗琳·马文因阻挡Uber送货机器人通行被捕,被控扰乱治安。她称抗议是因机器人抢走人类配送工作,警方要求其让路遭拒后将其逮捕,事件视频引发关注。送...
-
各城市欲对机器人出租车踩下刹车
美国联邦层面长期未出台自动驾驶法规,各州市自行立法监管机器人出租车,规则碎片化。明尼阿波利斯拟要求车内配安全员,圣迭戈试图限制Waymo进入机场,奥斯汀消...