1
英伟达 CEO 黄仁勋生意经：不能只顾自己吃尽利润，更要让合作伙伴有得赚
IT之家 10 月 15 日消息，英伟达创始人兼 CEO 黄仁勋近日到访中国台湾，麻省理工学院 AI 研究员莱克斯 · 弗里德曼（Lex Fridman）与其同行，并用镜头记录下了完整的一日行程。相关视频已于当地时间 10 月 14 日发布在 YouTube 等平台上。 在谈及中国台湾的半导体产业链…
2
中国联通董事长董昕：反对恶性竞争，更要避开同质化竞争
9 月 10 日上午消息，在今日的 2026 中国联通合作伙伴大会上，中国联通党组书记、董事长董昕发表演讲。 他表示，中国联通把新一代通信网和算力网作为主责主业，也是中国联通运营商的基因。新一代通信网络超越了传统意义的网络升级，由原来地面巡路到未来的全域遨游、天地海空一体，成为数字时代基础设施的关键…
3
背单词更要背释义，FenyiDic 让你记住「熟悉的陌生人」
每个单词都认识，为什么还是读不懂英文？ 查看全文
4
LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要“算得对”，更要“证得严”
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— …