科技数码

内容源 全部
共 10786 条 · 第 895/899 页
排序方式

内容列表

如何评价代数几何著名猜想「雅可比猜想」被 AI 证伪?如此简洁、可独立验证的数学发现意味着什么? ♨ 49

如何评价代数几何著名猜想「雅可比猜想」被 AI 证伪?如此简洁、可独立验证的数学发现意味着什么?

新晋菲尔兹奖得主Jacob Tsimerman在当地时间7月23日的国际数学家大会开幕式上宣布将入职OpenAI,从事AI安全方向研究。Tsimerman因证明André-Oort猜想获奖,是首位在加拿大高校任职期间获得该奖项的数学家。此外,其一名学生被指使用Claude Fable 5推翻了悬而未决87年的雅可比猜想。

知乎 ·
多项AI在世界人工智能大会首发首秀 ♨ 48

多项AI在世界人工智能大会首发首秀

在2026年7月的世界人工智能大会(WAIC)上,具身智能相关企业数量由去年的80余家增加至200多家。本届大会将“AI灵巧手”与人形机器人并列为重磅新品品类。会上,灵心巧手、临界点、它石智航、星动纪元、星际光年、灵巧智能、宇树科技及均胜电子等企业展示了涵盖全直驱、绳驱及混合驱动等多种技术路线的灵巧手新品。

百度热搜 ·
2026 世界人工智能大会在上海举行,超 300 款全球首发 AI 产品将亮相,本次大会有哪些看点? ♨ 45

2026 世界人工智能大会在上海举行,超 300 款全球首发 AI 产品将亮相,本次大会有哪些看点?

2026世界人工智能大会于7月17日至20日在上海举行。本届大会展览面积突破10万平方米,吸引上千家企业参展,展出3000余项成果,其中300多款产品全球首发。大会重点展示了AI智能体、具身智能及人形机器人的最新进展,标志着AI正从对话工具向自主执行的数字伙伴跃迁,并逐步迈入规模化商用拐点。

知乎 ·
Linus 称 Linux 不搞「反 AI」,并要求「要么 fork,要么走人」,这会带来哪些影响? ♨ 45

Linus 称 Linux 不搞「反 AI」,并要求「要么 fork,要么走人」,这会带来哪些影响?

Linus Torvalds 近期宣布 Linux 并非一个反 AI 项目。这一表态引发了社区讨论,支持者认为 AI 仅被视为工具,但同时也促使部分反 AI 阵营产生共鸣。与此同时,欧洲代码托管平台 Codeberg 已修改服务条款,禁止主要由生成式 AI 编写代码的项目。

知乎 ·
“洗衣机”发威一击“烧死”无人机 ♨ 49

“洗衣机”发威一击“烧死”无人机

近日央视公开一段打击画面,展示了被网友昵称为“洗衣机”的尖端武器在数公里外精准击毁无人机的过程。该武器通过发射高能量光束击穿无人机外壳并烧毁其内部电路,使其失去动力坠落。这种“发现即摧毁”的打击方式被认为预示着未来防空领域可能从传统的“点防御”模式向“面覆盖、点清除”模式转变。

百度热搜 ·
小米 SU7 碰撞测试博主「原来是翔翔啊」因捏造事实被判刑一年八个月,罚款 10 万元,你怎么看? ♨ 45

小米 SU7 碰撞测试博主「原来是翔翔啊」因捏造事实被判刑一年八个月,罚款 10 万元,你怎么看?

涉嫌损害商品声誉的博主高若翔因在小米SU7与极氪对撞测评中捏造事实,被判处有期徒刑1年8个月并罚金10万元。判决书显示,其团队刻意隐瞒车辆电源线被提前改动的事实,并使用叉车损坏的部件照片误导消费者。目前高若翔团队已提起上诉,小米公司则表示将持续通过合法途径维权。

知乎 ·
如何看待 Kimi K3 模型价格较上一代翻 5 倍,达到输出 100 元,输入 20 元,缓存命中 1 元? ♨ 48

如何看待 Kimi K3 模型价格较上一代翻 5 倍,达到输出 100 元,输入 20 元,缓存命中 1 元?

Moonshot AI于2026年7月16日发布Kimi K3超大规模模型,该模型采用2.8万亿参数的MoE架构,支持100万Token原生无损上下文。K3在编程能力等多个基准测试中表现出色,其中在Code Arena编程能力位列第一。在定价方面,K3将市场定位转向前沿智能,其输入与输出Token单价较前代K2.6显著提升,目前与Claude Sonnet处于同一档位。

知乎 ·
特斯拉首款两轮车售价1500元 ♨ 40

特斯拉首款两轮车售价1500元

特斯拉推出首款两轮儿童平衡车,专为2-5岁、最大承重35公斤的幼儿设计。该车采用镁合金轻量化车架及五档可调座椅,通过双脚蹬地滑行以训练平衡感。目前该产品仅在海外发售,定价225美元(约合1526元人民币)且已售罄。截至2026年7月25日,特斯拉中国尚未发布上市公告,但有博主预测该产品可能引进国内并定价约999元。

快手热搜 ·