➡️
继续阅读
-
数学之后
陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”，因为数学证明既需逻辑正确，也需人类可...
-
Rust 成为微软一线语言之后：谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言，与C++、C#同级，但目标是替换有漏洞的C/C++存量代码，而非取代C#。C#擅长业务复杂度，Rust擅长资源与安全边...
-
与 AI 搏斗失败后重新开始找工作：经验分享与半可靠避雷指南
作者被裁后记录求职经历：公司按倒序名单快速裁员，四小时内离职。求职中用AI写简历、模拟面试，但猎头鱼龙混杂，招聘平台算法推荐低效，AI电话骚扰，职位普遍强...
-
健康计划：BI告诉你MLR变动了，你的AI能告诉你原因吗？
医疗保险公司财务团队手动核对数据效率低，难以快速解释MLR超预算原因。Databricks与Abacus合作，将数据平台与payer专属数据基础结合，使A...
-
微软公关负责人任职近20年后离职
微软首席传播官弗兰克·肖宣布年底离职，结束17年高管生涯。他自1997年起参与微软传播工作近29年，历经多任CEO、云业务转型及LinkedIn、动视暴雪...
-
《你的母亲你的母亲你的母亲》会让你彻底忘掉漫威《刀锋战士》的惨败
多伦多电影节第三天，记者观看了五部风格迥异的影片，包括马赫沙拉·阿里主演的《你的母亲你的母亲你的母亲》、犯罪惊悚片《在阿拉斯加》、改编自日本怪谈的《恐怖之...
