以下文章来源于MaxAIBox ，作者Max MaxAIBox . MaxAIBox.com 汇集优秀 AI 工具，探索 AI 无限可能 DeepSeek 坏得很，假前给大家送劳动节礼物来了，不过这次不是 DeepSeek-R2。 4 月 30 日，DeepSeek 正式推出 DeepSeek-Prover-V2-671B，标志着 AI 数学推理能力迈入新纪元。 DeepSeek-Prover-V2-671B 是什么？ 作为 DeepSeek 开源模型系列的新一代自动定理证明专家，该模型基于与 DeepSeek-V3 相同的 6710 亿参数混合专家（MoE）架构，专为 Lean 4 证明辅助框架中 的证明生成与验证而优化。 其 MoE 设计采用动态参数激活机制，单次推理仅调用约 370 亿参数（根据 DeepSeek 官方 MoE 架构报告推测，例如 V3 的技术方案），在保持强大推理能力的同 时显著提升计算效率。 该模型为多个领域带来革新可能： 技术架构解析 根据 DeepSeek-V3 等前代模型技术脉络，当前披露的核心规格如下： | Feature | Detail | Why it Matters ...

以下文章来源于算法爱好者 ，作者算法爱好者 算法爱好者 . 算法是程序员的内功！「算法爱好者」专注分享算法相关文章、工具资源和算法题，帮程序员修炼内 功。 ❶ 离谱的事故 4 月 28 日 17:40，数码荔枝发了 一个离谱的 故事 事故 。 有个 10 万多用户的软件，数据托管在腾讯云，因欠费 2 元，结果停服 7 天后，数据被删。 × l 0 1 2 . 我投诉了,他们那边反应就是欠费超过7天就删库 微软 Azure 的话,可以保留数据 半年。可惜了。没有备份 明? : 因为是云开发，他就没有备份能力啊 我中间有做过一次架构变化尝试,就是把数据库单独拎出 来,可惜没有做完 然后只有一些表给留下了,但是那些表偏偏又是非常没有价 價8 非常难受 是的 ·公众号· 算法爱好者 荔枝:微软 Azure 的话，可以保留数据 半年。可惜 沿有各份吗7 - 0 × ... 我的理解数据至少得保留 他们真的很喜欢直接删掉 请问这个事情我可以截图马赛克发一下推特吗? 我觉得完全可以 太离谱了,主要是 不指明软件,不露出头像 反震就是吐槽"腾讯云不够人性化" 呢,我相信有很多独立开发者,他们也是用的腾讯云。然后 我强烈建议大 ...

4 月 18 日， 外媒 WSJ 发了一篇几千字的马斯克的超级大瓜： "造娃大业"跟他的"后宫争端"！ 里面提到他本 人确认的娃有 14 个。 28 日， 马斯克在国内又上热搜了。 美国《大西洋月刊》的记者伊丽莎白最近在一档博客节目中表示，马斯克实际拥有的孩子数量可能已经超 过 100 个，远远高于目前公众所知道的 14 个。 （ 签保密协议，补偿费用 1500 万美刀。参考这篇旧文 ） 马斯克的娃 ≥ 100 个，离「军团」又进一步了。 ...

我因为 Linux 失去了妻子 ↓↓↓ 往期趣图 （点击下方图片可跳转阅读） 趣图 :" 说走咱就走 , 关闭页面用......" 趣图: 自动驾驶的困境 趣图: git merge new_branch ...

周鸿祎昨天在直播中，突然有人过来问： "周总，欠你 360 借条的钱可以不还吗？ " 周回应"那不是我的公司"… 周鸿祎曾担任奇富科技的董事及董事会主席，但是 2024 年 8 月辞任相关职务，不再直接参与管理。 这个回复成功让周总喜提热搜了。 360 借条的发展历程 360 借条的实际运营主体是奇富科技，奇富的前身是 360 数科。 2016 年 7 月，360 金融集团成立，由 360 金服（北京奇步天下科技有限公司运营的集团）孵化。 2018 年 9 月，360 金融集团独立运营。 2020 年 8 月，"360 金融"品牌正式升级为"360 数科"。 2022 年，360 数科从 360 集团分拆独立并在港交所上市（法律层面已脱离 360 集团直接控制） 2023 年 2 月，360 数科更名为奇富科技。（进一步淡化 360 的标签） 2024 年，360 借条更名为奇富借条，但名字还在用（刚在应用市场搜360 借条的结果如下） 360 借条和周鸿祎的关系 从法律层面来说，确实和周没关系了 。 但是啊，根据奇富科技 2024 年财报资料，截至 2024 年末，周鸿祎仍通过 Aerovane Compa ...

4 月 11 日， 何同学的一条"锻炼勇气"的微博引发了一波负面评论 。 时隔 16 天后，何同学在 27 日傍晚更新了一个视频。 但小程程也深度 翻了翻留言区： 你怎么不拒绝他？ 不是对上次负面舆情的道歉，而是他响应一位父亲的求助，给求助者的女儿做一个可单手操作的键盘。 何同学在 B 站和微博都更新了，这期视频内容嘛，的确属于正能量。 1、B 站留言，按热评排序：大概前 40 个留言是支持和鼓励何同学的，大约在 40 楼开始，网友们在开始玩梗 刷屏锻炼勇气了： 好立意，好关怀，好视频，但三连我就不给了，因为这是我锻炼自己的一种方式 2、微博留言，按热评排序：虽然网友们没锻炼勇气，但也是沦陷了： 何同学还说回头会把键盘开源，大家可以猜猜他会采取哪种开源协议，会不会放 GitHub 上。 对了，在本期视频中，貌似他没有要一键三连。 - EOF - 推荐阅读 点击标题可跳转 1、 女生网购避孕套被骑手骚扰，饿了么回应 2、 李彦宏点评 DeepSeek 又贵又慢，网友：这就有点"既要又要"了 3、 35 岁脑干出血程序员发声：在 ICU 待了 28 天 ...

以下文章来源于伯乐在线 ，作者伯小乐 伯乐在线 . 伯乐在线分享IT互联网职场和精选干货文章（原域名已不再维护）。组织维护10万+star的开源技术资源库，包括：Python, Java, C/C++, Go, JS, CSS, Node.js, PHP, .NET 等 4 月初，中国裁判文书网新公开了一份劳动争议二审民事判决书。 王某作为快手社交客户端中心负责人，因竞业限制纠纷引发近百万的赔偿案。 2023 年 6 月离职后，王某被快手启动 6 个月竞业限制， 补偿金标准为每月 39326.63 元 。协议明确禁止入职字节跳动等竞对公司，但后续调查发现其多次出入字 节关联公司办公场所，引发诉讼争议。 案件关键证据显示，王某在工作日频繁进出带有字节系公司标识的办公区域。 法院采信了快手提交的视频（包含王某从地铁站到字节系办公楼全路径），视频中清晰可见工卡核验广播及公司标识。尽管王某辩称处理私事并提交第三方公司劳 动合同，但未能合理解释与字节系办公场所的关联性。 法院审理认为，王某作为涉密岗位高管，签署的多份协议及《竞业限制义务启动告知函》具有法律效力。其实际行为构成违约， 需返还已收补偿金 19,663.32 ...

特朗普近期在 （他自己 2021 年创办的社交平台） Truth Social 发了三张海洋垃圾图片，并配文"太平洋上的中国礼物"。 其实上面两张是包浆老图，左上是印度尼西亚的海域、右上在洪都拉斯所属的大西洋海域。下面那张就更离谱了，合成图，而且 P 的也太明显 了。 往期趣图 （点击下方图片可跳转阅读） 趣图: git merge new_branch ...

最近京东和美团频频上热搜，貌似一直没饿了么啥事。 事情经过 4 月 25 日，有一位成都小姐姐网购后遇到了一个奇葩配送员。（小程程也遇到过奇葩的骑手，我写在最后 了） 这位小姐姐是在淘宝买了一盒消毒液及避孕套，卖家是同城的一个实体店，卖家在饿了么下单送货上门。 小姐姐表示，配送员送到门口就意味深长地看着自己，后来还发短信骚扰。 不过今天它终于上热搜了！ 在被骚扰后，小姐姐很纳闷，明明东西用黑色塑料袋包装，而且小票上信息也是隐藏了，但配送员仍知晓具体 物品信息，怀疑东西被拆或系统信息泄露了，于是她投诉了。 商家 饿了么客服回应 后续：骑手道歉，当事人原谅 小程程在小红书找到当事人发的后续了： Bonus：我遇到的奇葩骑手 刷到这个热搜时，小程程就想起前几年遇到一个某团的骑手，他给邻居送东西后，然后居然把我家买的东西 （送货到门口的）给偷走，正好被可视门铃监控拍下来了。 商家拒绝退货退款，但平台介入后承诺保护用户隐私 门店目前也已拉黑了这名骑手，不让他再接门店的订单 我给了他改正机会（找邻居帮忙电联让其送回），但他拒不承认偷窃，只能报警处理 + 曝光。（我用是个人 小号曝光，不是大号 ）。 最后是外卖站点的站长带 ...

以下文章来源于MaxAIBox ，作者Max 2 月 14 日，百度宣布了文心大模型不止要免费，而且还要开源。 2 月 16 日晚，百度搜索和文心智能体平台分别宣布，将全面接入 DeepSeek 和文心大模型最新的深度 搜索功能。2 月 18 日，DeepSeek-R1 满血版已经在百度 APP 搜索上线。 此外，2 月 18 日晚间，李彦宏在 2024 年第四季度及全年财报表示： MaxAIBox . MaxAIBox.com 汇集优秀 AI 工具，探索 AI 无限可能 1 众所周知，百度曾经坚持闭源路线，但 DeepSeek 爆火出圈后，随着各行各业众多企业接入满血版 DeepSeek-R1，百度也跟上了。 从 DeepSeek 我们学到一点，那就是将最为优秀的模型开源供所有人使用，将可以极大地推动其 应用，因为大家出于好奇自然会想去尝试开源模型，进而推动其更广泛的应用。 2 4 月 25 日，百度在武汉举办了一场 AI 开发者大会，李彦宏上台发表了题为《模型的世界，应用的天 下》的演讲。 他指出，"只要找对场景，选对基础模型，学一点调模型的方法，做出来的应用不会过时。" + "没有应 用，芯片、模型都没 ...