标签： 总结

OpenAI近日表示，其最新通用推理模型自主给出了一条原创数学证明，推翻了一项自1946年由著名数学家保罗·埃尔德什（Paul Erdős）提出、悬而未决的几何猜想。 OpenAI称，这 … 继续阅读 OpenAI称已解决了一道存在80年的数学难题

IT之家 5 月 20 日消息，在 2022 年，马斯克曾表示 Cybertruck“将具备足够的防水性，可以短暂充当船只，能够穿越河流、湖泊甚至不太汹涌的海域”。但在 Cybertruck 正式发布 … 继续阅读 马斯克称特斯拉Cybertruck能当船开？美国车主实测进水后弃车逃逸并遭逮捕

智东西 作者 | 佳扬 编辑 | 云鹏 智东西5月20日报道，昨日晚间，联想发布了智能体天禧AI 4.0，还甩出了多款搭载该系统的终端“全家桶”，从主机、电脑到手机、平板，一应俱全。 天禧AI 4.0 … 继续阅读 联想AI全家桶更新：掏出手掌大AI主机，天禧“虾”Token暴降95%，亮出首款大折叠手机

当地时间5月20日，Meta即将执行一场足以载入硅谷史册的裁员行动。根据路透社获取的内部备忘录，这家社交媒体巨头将在全球范围内裁掉10%的员工，同时关闭6000个空缺岗位，另有7000名员工被强制“抽 … 继续阅读 Meta首席人事官发布“520”人事备忘录：裁员邮件凌晨4点发出，裁员7800人，转岗7000人，关闭6000个空缺岗位！经理人：“今夜无眠……”

五月初，扫地机器人双雄科沃斯和石头科技陆续发布2025年报及2026年一季度报。其中2025全年，石头科技营业收入186.95亿元，同比增长56.51%，但净利润仅录得13.63亿元，同比下降31.0 … 继续阅读 科沃斯VS石头科技：扫地机器人的蛋糕不够分了

听雨 发自 凹非寺 量子位 | 公众号 QbitAI 用Claude Code写论文的一整套流水线，有人打包开源出来了。 完全戳中了学生党的痛点，github星标直达6.4k。 项目名叫academi … 继续阅读 6.4k Stars！用Claude Code写论文的全套流水线，有人打包开源了

相信这样的场景很多人都不会陌生： 在微信上聊工作、讨论旅行计划，甚至只是和朋友闲聊，聊着聊着突然想让 AI 帮忙总结重点、做个规划，结果却只能一段一段复制聊天记录，再手动粘贴进 AI 对话框里。 再比 … 继续阅读 好消息：微信有 AI 了！坏消息：是元宝…

凤凰网科技讯 5月13日，腾讯宣布微信上线群聊记录总结新功能。用户将聊天记录转发至“元宝”应用，即可自动生成99+未读消息的摘要，无需手动逐条翻阅。 该功能还支持发票报销信息自动生成表格、根据群聊讨论 … 继续阅读 微信上线群聊记录一键总结功能：转发元宝即可生成摘要

5月12日，自媒体博主“兽楼处”发布文章称追觅创始人俞浩追高流量背后，实际上是麾下有数千家企业嗷嗷待哺，等待第一笔天使轮资金的进入。俞浩盯上的，不是风投机构，而是地方政府的产业基金。 对此，追觅集团联 … 继续阅读 追觅高管回应兽爷：其文章是为了博眼球的造谣抹黑

5月9日报道，昨天下午，海信发布了多款能够改变日常影音体验的新品，包含显示器UX、户外便携投影LightGo流光派、Vidda G11 AI音频眼镜、大白闺蜜机X8 Ultra、陪伴式数字艺术画框音响 … 继续阅读 又一终端大厂做AI眼镜