与「N-1」相关的搜索结果

OpenAI公布十项数学与理论计算机科学新结果，全部由AI主导完成 OpenAI内部一个代号Astra的未发布模型，在球体堆积、编码理论、群论、算子代数、量子复杂度、格密码学和极值组合数学等领域，解决了十个悬而未决数十年的公开问题。每个结果都配有一份用Lean 4形式化的证明，证明代码公开在Github上（ 这些数学论证本身是由模型生成的，人类只负责把论证整理成手稿、并完成Lean形式化。跟现在程序员用AI写代码的过程类似：AI写代码，人类程序员只负责review，甚至有的都不review，直接accept后做功能测试。 想想未来数学家、科学家像程序员一样，主要职责就是验证和Accept，未免有点太刺激。 OpenAI原文： 10道题目简介： 1. 高维球体堆积：多少个球能塞进一个盒子 想象在很高维度的空间里堆橙子，怎么堆最省地方、能塞下最多球，是一个跟晶体结构、通信编码都有关的经典问题。1978年提出的Kabatiansky–Levenshtein上界四十多年没人从根本上突破。AI生成的公式算出的指数约为每维度−0.604，比历史最佳的−0.599更紧。 2. 二元码与球面码：怎样让传错的信息还能被纠回来 给数字信号加冗余，让接收端即使传输出错也能纠正，是编码理论的核心问题——纠错能力越强（码字间距离越大），能塞进的合法码字就越少，这是一个此消彼长的权衡。这次的结果把已知的码字数量上界在指数意义上大幅收紧，缩小了理论允许的最好码和已知构造出的码之间的差距。 3. 非苏菲克群：所有“群”都能用有限的东西去逼近吗 群是数学里描述“对称性”的基本结构。一个自然的问题是：任意一个群，是否总能用足够大的有限置换群去足够精确地逼近（这类群叫“苏菲克群”）？这个问题多年没有定论。这次的结果构造出一个明确、有限表现的群，并证明它天生无法被这样逼近，即它是非苏菲克的。 4. Connes刚性猜想：换了一张“脸”，身份还是原来那个吗 每个群都能生成一种叫von Neumann代数的运算结构，有点像给群拍了一张“运算指纹”。Connes猜想认为，对某一类群来说，这张指纹应该能唯一认出原来的群，不会有两个不同的群共享同一张指纹。这次的结果构造出一个反例：两个结构不同的群，却生成了本质相同的von Neumann代数，说明这张“指纹”并不总是唯一的。 5. Permanent的计算下界：为什么有些矩阵运算天生就很难加速 矩阵有个大家熟悉的量叫行列式，靠消元法就能快速算出来。它有个“难兄弟”叫permanent，长得像行列式但去掉了正负号，恰恰就是这个符号差异，让permanent在已知算法里始终摆脱不了指数级的计算量。这次的结果证明，只用加法和乘法搭出的电路（不允许用除法这类“捷径”）去计算permanent，电路规模必须达到某个新的、更高的下界，从数学上解释了为什么这类计算“绕不开”。 6. 量子平行重复：把同一个博弈重复玩，输赢概率会怎样变 在双人合作博弈里，如果重复玩k次要求全部获胜，直觉上获胜概率应该随k指数级下降。这件事在经典（非量子）情形下早已证明，但如果博弈双方可以用量子纠缠来配合，之前的证明工具只能给出很弱的下降速度（大约是根号级）。这次的结果把这个结论真正推广到了一般的量子博弈情形，证明获胜概率同样会指数级下降。 7. 最近向量问题CVP：格密码学为什么“抗量子” 把很多点按固定的方向和间隔整齐排列在高维空间里，就构成了一个“格”。给定格外一个随意的点，找出离它最近的格点，这就是最近向量问题CVP。这次的结果证明，哪怕只要求“大致找到”一个足够近的格点（而不是精确最近），这个问题依然是NP困难的，也就是说没有已知的快速算法能保证解决它。这正是后量子密码学敢于依赖格结构的理论基石。 8. Ehrhart体积猜想：一个凸体最多能“胖”到什么程度 设想一个凸的几何体，它唯一包含的内部整数点就是它自己的重心，那么这个凸体的体积最多能有多大？这次的结果给出了每个维度下精确的答案，是(n+1)n/n!(n+1)^n/n! (n+1)n/n!。 9. 多色拉姆齐数：想在一堆点里完全避开“三角形”，要多少种颜色 拉姆齐理论说的是：只要一个系统足够大，规律和结构必然会自发出现。把这句话落到最经典的问题上：给一张完全图的每条边染上k种颜色中的一种，要让图里避免出现同色三角形，图至少要多大？这就是Erdős第183号公开问题。这次的结果证明，这个最小规模会随k呈“超指数”增长，也就是比任何形如 c^k 的指数增长都快，彻底解决了这道悬了很久的题目。 10. 极值图论中的两个反例：稠密程度能推出图有多“退化”吗 极值图论研究的是：给定一些限制条件（比如不能出现某种子图），一张图最多能有多少条边。这次的结果针对两个具体的公开猜想（Erdős第146和180号问题）构造出了反例，说明原猜想设想的“边数够多就必然导致某种退化结构”的推理并不总是成立。

Subquadratic发布SubQ 1.1 Small：速度超快的LLM SSA将注意力计算从O(n²)降至O(n)，1M token下比密集注意力省64倍算力、比FlashAttention-2快56倍。模型在12M token大海捞针测试中保持98%准确率，通用推理能力接近中上游前沿水平。面向金融、法律、代码库等需要完整长文档推理的企业场景。 官方介绍：

离职谈判核心是明确N、N+1、2N赔偿标准、薪资基数、支付时效，彻底规避后续劳动纠纷。 谈判全程依托《劳动合同法》第47条、第87条法定规则，清晰界定合法补偿与企业违法双倍赔偿边界。 劳动者需提前留存完整证据、明确诉求，企业严守合规解除流程，双方依法平衡利益、高效达成协议。 其实最后就是赔偿钱的问题，扯来扯去的。。。

建议：新手别滥用 viber coding 。 混用 中国和海外的大模型，viber coding ，我把所有研发坑都踩完了 : 1. 时区问题，中国的大模型看 北京时间 ，美国的大模型看 美国时间 ... 2. Error code 到底是 int 类型还是 str 类型， 傻傻分不清. 3. 软删除 是真的删除还是 标志为 'is_deleted' = true . 4. 状态码 ( 500 , 400 ... ) 分散在全项目各处都是 ... 5. 数据库慢查询设置 ， N+1 问题 未考虑 ... 6. 短信验证码 、 实名认证的防暴力破解 未考虑 ... 7. 状态机 待会儿 8个状态 ，隔一天就10个状态，再隔一天 7个状态 ... 8. 同一个业务含义的变量，分不同函数名 或者 不同 变量名来写。 9. 写了而又不用的函数名。 10. 不用 ORM ，而是裸用 SQL ，带来 主键 自增长问题 。 11. 数据库设计了 JsonB ，导致 数据查询 和 数据检索的 困难问题。 12. 高危严重的水平越权漏洞 和 垂直越权漏洞 泛滥 ... ...

现在，在以科技领先的深圳，开一间互联网公司有多难： 1、先租一间正规写字楼，商住不行，车库创业更不可能； 2、安装宽带、固定电话（注册有要求），稍作装修，购买一些桌椅板凳（一般上家会留下一部分），怎么也得弄块招牌吧，消防得来刁难一下； 3、准备50万注册资金，得真实到账，而且成立公司后不能取走，只能用于公司开销； 4、至少2个股东一个监视，都不能是限高的，如果涉及高科技，还需有相关高学历人才； 5、办理工商营业执照，税务登记，社保登记，会计必须有会计证在税务局登记（可以委托报税公司）； 6、办理基本户，银行要到现场考察，还会刁难一下； 7、各种招聘招人，现在必须都给五险一金，全额缴税，辞退需N+1赔偿，签了劳务合同，老板就算是招个爷了，员工找茬去劳务仲裁100%赢，概莫能外！ 8、给员工配电脑，除了文员，程序员基本都是pro苹果笔记本，本地服务器、云端服务器； 9、各种资质，网站得有ICP证书，涉及游戏、娱乐、直播、电商还得办一大堆证； 10、如果搞个游戏，整点欢乐豆，或者内容收点费，很快就远洋捕捞！如果敢碰币圈，就等着全公司被抓走吧！ 11、开业仨月发现，赛道不对，根本不赚钱，老板和股东就只能自己私人打钱到公司账户，但是只能进不能出，存可以，取不行。 12、发不出工资，交不上房租水电，老板先卖车、后卖房、离婚撸小贷，期盼奇迹发生！ 13、最后公司倒闭，员工起诉，债主盈门，限高，全剧终！

主张“假定世界不可知”，通过同时进入多个赛道、快速测试和反馈来探索边界，认为全球化、多品类的公司天然比单一品类、局部市场的公司更具优势。 他将此比作字节跳动的APP工厂模式在硬件领域的应用。 2、反对颠覆式创新，主张“N+1”增量优化

腾讯员工总监谈话了，年后组织架构调整要么提前活水，要么n+1，算了下在鹅快7年，税前大概一共挣了880w，算上补偿900多，还完了房贷还攒了500个，对鹅只有感恩，38岁打算躺平回二线了

互联网黑话之西游记版 制作工具： - Gemini 3 Pro 生成剧本 - Nano banana Pro 生成首帧图 - Sora 2 Pro 生成分镜头视频 原始剧本（有大量删减）： 唐僧 (CEO): 悟空，咱们现在的 OKR（目标与关键结果） 进度如何？离西天那个 最终交付物（取经） 还有多长的时间窗口？ 悟空 (CTO): 师父，我看了一下后台日志，咱们现在的 路径规划 有点绕，前面路段 风险系数（Risk） 很高，建议先做一下 灰度测试。 白骨精 (外部竞品/黑客): [化身送饭村姑上线] 各位老师好，我是本地生活赛道的，来给各位做一下 用户关怀，痛点是大家饿了，解决方案是这篮子馒头，完全免费，旨在 沉淀用户心智。 八戒 (摸鱼总监): 师父！你看！这是 高潜用户 啊！而且自带 资源包 进场，咱们赶紧 转化 了吧，这馒头看着就符合 人体工学。 悟空 (火眼金睛开启): 慢着！ [扫描中...] 警报！前端页面伪装度 99%，后端接口全是 恶意代码！ 这不是 增量用户，这是 杀猪盘！ [举起金箍棒] 看我一键 回滚！物理 格杀！ [一棒打死] 唐僧: 悟空！！你疯了吗？ 你这是 P0 级生产事故！ 虽然我们追求 狼性文化，但你也不能对 C 端用户 暴力执法啊！你的 颗粒度 怎么这么粗？ 悟空: 师父，你那是 信息茧房。透过 底层逻辑 看本质，她就是一堆白骨（Bug），如果不及时 熔断，咱们团队的 生命周期 就到头了！ 八戒: 师父，别听猴哥的。 我看他就是 嫉妒 我跟用户 建立了深度链接。 他这是 技术霸凌，为了刷自己的 存在感，把咱们的 潜在流量 既然全给 屏蔽 了。这让我们以后怎么做 私域运营？ 白骨精 (化身老妇人再次上线): 哎呀，我女儿呢？ 刚才是不是你们 触达 了我的女儿？ 悟空: 还敢 迭代？ 换了个 UI 皮肤 我就不认识你了？ 刚才是一期工程，现在二期工程我也给你 拆迁 了！ [再次一棒打死] 唐僧: [念紧箍咒 - 启动合规审查程序] 悟空: 啊！师父！别念了！别搞 职场 PUA！ 唐僧: 我也不想这样。 但你连续两次 击穿底线，严重影响了团队的 NPS（净推荐值）。 出家人慈悲为怀，这是我们的 品牌调性，你完全不 对齐 咱们的 价值观。 白骨精 (化身老公公上线): 救命啊... 这一家子都被你们 优化 了... 悟空: 好家伙，还搞 矩阵号 运营？ 我就不信你的 服务器 还是 多活 的！ 看我 全栈打击！彻底 格式化！ [打死老公公，白骨精现出原形，留下一堆白骨] 悟空: 师父你看！这就是 交付结果！ 我就说她是 虚假繁荣 吧，全是 泡沫。 八戒: 哎呀师父！ 这猴子那是怕您责怪，使了个 障眼法（技术手段） 篡改了 数据库！ 他把好好的一个老头，渲染 成了白骨！ 他这是为了逃避 KPI 考核，伪造 数据看板 啊！ 唐僧: 够了。 孙悟空，你 技术栈 虽然强，但是 软技能 太差。 你已经不适合我们这个 生态位 了。 我们现在的 战略转型 需要更 柔性 的人才。 你被 毕业 了，去财务那结算一下 N+1 吧。 悟空: 师父？你真的要跟我 解耦？ 没有我做 底层架构，这一路上的 Bug 谁来修？ 唐僧: 不用说了。 沙僧，把他的 权限回收。 八戒，以后你来 承接 悟空的 Headcount（编制）。 悟空: 行。 此处不留爷，自有留爷处。 我去花果山 孵化 新的 独角兽 去了！