顺丰

8K电视就要爆炸了？他们只想给你吃煎饼。_我的网站

A |     悬而未决 87 年的经典数学难题——雅可比猜想（Jacobian Conjecture），可能被一个只有三行公式的反例推翻了。

B |          7 月 20 日，数学家、Anthropic 研究人员 Levent Alpöge 在社交平台 X 公布了一个三元多项式映射。它满足了雅可比猜想要求的前提条件，却违背了猜想的结论，因此构成了一个可能推翻整个猜想的反例。         更引人关注的是，Alpöge 在帖子中将这一反例归功于 Anthropic 最新发布的 AI 模型 Claude Fable 5。“边上的朋友，8K已经切了吗？”不，“走开！”这是今年CES 2019电视台的真实写照。虽然目前可用的8K资源非常少，但毕竟，“我不能用它，没有它你不能做”，我们2019年还没有开始8K。恐怕还不到一分钟就被击倒在地上。

C | 这就是为什么主要的电视制造商们在消费电子展（CES）上绞尽脑汁，出售他们的8K创意，这是2019年的第一个国际大型展会。

D | 他还表示，是朋友 Akhil 首先向模型提出这一问题，而 Fable 5 则在他们观看世界杯决赛期间持续搜索，最终找到了这一反例构造。         （来源：X）          消息发布后，数学界迅速展开核验。~看看我的8K~每根头发的数目都很清楚。

E | ~lg:可以是8K，但是没有必要问lg在这么大的面板工厂里有没有8K。

F | 去年，它用88英寸8K OLED电视刷新了消费级8K电视的面板尺寸。

G | 但是，当CES 2019的帷幕拉开时，我们发现LG的主要特征不是8K电视。斯坦福大学数学系助理教授 Jared Duker Lichtman 转发称这一结果“相当惊人”；MathOverflow 很快收录了相关讨论，不少研究者还利用 Wolfram Alpha、SymPy 等工具进行了独立计算。

H | LG仍然熟悉底座，或者熟悉“滚动蛋糕”式的接收方式，去年在CES 2018上推出了卷曲的OLED电视，现在他们已经将电视的分辨率提高到4K级，这对于灵活的OLED面板来说是一个非常困难的任务。同时，在基础上增加了更多的语音单元，开发了更多的半尾迹状态智能辅助系统。简而言之，这台电视机已经变得越来越成熟了，并与量产版无限接近。目前，最关键的两项验证：雅可比行列式是否恒为 −2，以及三个不同点是否确实映射到同一点，均已通过公开计算验证。LG选择收看电视的原因很简单。毕竟，大多数人24小时都没有电视，这会导致我们房间的暗面板在电视闲置时变得模糊。所以，虽然这是一个老蛋糕，我们仍然需要说“真正的香味”，当我们看到LG卷曲的电视。         如果后续没有发现新的漏洞，这将意味着：1939 年提出的雅可比猜想在三维情形下不成立，并可进一步推出其在所有三维及以上维数下均不成立；而二维情形仍然保持开放。此外，LG表示，他们可以在今年第一季度完成这台卷曲电视机的生产。价格、尺寸和其他配置都会及时提供。

I | 虽然未来是模糊的，但它最终使我们心中的石头掉在地上。         被称为“民科坟场”的雅可比猜想          雅可比猜想由德国数学家奥特－海因里希·凯勒（Ott-Heinrich Keller）于 1939 年提出，讨论的是一个看似简单、却困扰数学界近九十年的问题：什么时候，一个多项式映射一定能够"倒推"回原来的函数？          图｜海因里希·凯勒（左）（来源：Wikipedia）          理解这个猜想，可以先想象一张橡胶膜。我们只是不知道LG的弯曲设计是不是。会影响未来家庭电视产品的设计趋势吗？索尼：孩子们做选择。

J | 成人都希望索尼有扩大消费电子展的习惯。今年也不例外。它仍然是“最强的LCD”和“最强的OLED”的组合，加上8K属性。如果局部看，每一小块都没有被撕裂或压扁，人们很自然会问：整张膜会不会在别的地方折叠起来，让两个不同的位置重合？          数学里的情况与此类似。对于多变量多项式映射，如果它在每一个局部都满足一种“没有折叠”的条件，也就是雅可比行列式始终等于同一个非零常数。

K | 嗯，闻起来最香。索尼推出的液晶旗舰和OLED旗舰机型分别命名为索尼Z9G和索尼A9G。Z9G有85英寸和98英寸版本，而A9G有55英寸、65英寸和77英寸版本。这两款电视都配备了索尼HDR图像处理芯片x1旗舰版（处理器x1旗舰版），将在8K领域发挥全部作用。那么它是否一定在整体上也是一一对应的？它的逆映射又是否仍然是一个多项式？          这就是雅可比猜想。有效性，除了为8K提供独特的算法外，还可以智能检测屏幕，通过对图像的智能识别，实现对胶片纹理的有针对性的优化。

L | 它的陈述只有短短几句话，却异常难以证明。

M | 不少数学研究者戏称它为“crank graveyard”——“民科坟场”。然而，作为OLED电视，Z9G并没有继承前人的屏幕生成技术，而是采用多通道屏幕声场技术，通过内置四路前置扬声器，使电视的声音性能更加准确，就像屏幕声音技术一样，给用户一种声音涌出屏幕的感觉。许多人被它吸引，最终却陷入漫长而徒劳的推导之中。         著名华人数学家张益唐，就曾把整个博士阶段投入到这个问题。然而，索尼已经选择了保持沉默的两台8K电视的价格，但考虑到索尼的习惯，他们不会在公司里隐藏这种问题太久，所以如果你想买一台新的索尼电视，你不妨等待。三星：我比去年的2018年IFA更老更强壮。三星表示，将于2018年10月推出一款8K Qled电视。当然，他们没有违背诺言。1991 年，他在普渡大学完成博士论文《雅可比猜想与域扩张的次数》，导师莫宗坚是国际上研究雅可比猜想最重要的学者之一。最后，我们看到三星在市场上推出三款不同尺寸的Q900FN 8K电视。

N | 但现在半年后，三星可能认为85英寸不能满足其胃口，所以在这次消费电子展上，我们看到了三星带来的98英寸版本的8K Qled电视产品。这使得三星成功地拥有了最大的消费级8K Qled电视，但其功能参数与Q900系列的前辈没有太大的不同，如HDR10和4000nits的峰值亮度，8K量子处理器自然不会缺失。张益唐的工作推进了这一研究方向，却并没有解决猜想本身。该芯片与智能算法相结合，通过消除边缘锯齿和降低噪声，可以对区域阵列进行扫描。点等操作，使4K及以下的图片也能显示出更高的层次，在这个8K资源非常少的时候，这个功能是为了让我们更好地利用现有资源，获得更复杂的图片质量体验。后来，他离开代数几何，转向解析数论，并最终因证明有界素数间隔而闻名世界；雅可比猜想，则依然留在开放问题名单中。         1998 年，菲尔兹奖得主 Stephen Smale 将其列入著名的《下一个世纪的数学问题》（Mathematical Problems for the Next Century）第 16 题，认为它的解决将对数学发展产生重要影响。         过去近 90 年里，一维情形早已证明成立，二维至今仍未解决，而三维及更高维也始终没有答案。和索尼一样，三星没有公布98英寸8K Qled电视的时间和价格，但讨论它的价格并不是一个好主意。由于这一猜想要求所有维数都成立，因此，只要在任意一个维数找到反例，整个猜想就会被推翻。保管好你的钱包，珍藏起来。         三个点，击穿一个猜想          而此次，Alpöge 公布的是一个从三维复空间到三维复空间的多项式映射：          直接计算可知，这个映射的雅可比行列式恒等于 −2。由于 −2 是一个非零常数，因此它完全满足雅可比猜想的前提条件。

o |          然而，当把三个不同的点          分别代入这一映射时，得到的结果却都是同一个点：          这足以构成反例。松下：别问了，松下是最早计划生产8K电视的厂家之一，但经过一年的宣传，他们甚至生产了有机8K摄像机，但8K电视仍在他们的梦想中。

p | 没有8K，松下已经投入更多的努力改进OLED。原因很简单：如果多个不同的输入对应同一个输出，那么映射就不是单射。在CES 2019年，松下发布了一款名为GZ2000的旗舰OLED电视。换句话说，当已知输出时，无法唯一确定原来的输入，因此它不可能拥有逆映射，更不可能拥有由多项式组成的逆映射。

q | 该电视的亮点是采用了松下S1R全画幅无反射相机的HLG拍照模式。这与雅可比猜想的结论正面冲突。

r | 理论上，这将使电视具有更高的动态范围和更丰富、更准确的色彩表。但这台电视机还没有具体的价格和销售时间，松下甚至没有考虑这台电视机的尺寸，包括更具体的参数，你太冷静了！Jimi：什么8K？8什么K？现在和投影机谈8K还为时过早。         这个反例还具有极强的可核查性。毕竟，他们只花了两年时间就把4K便宜了。许多重大数学成果往往需要专家花费数月甚至数年时间，逐页检查上百页证明；而这个结果的核心，仅涉及两项有限的代数计算：一是验证雅可比行列式恒等于非零常数，二是验证三个不同的点确实映射到了同一个点。在国内所有投影品牌中，最突出的是连续第三年参展的集美公司。         截至目前，这两项计算均已得到公开复核。同时，他们还连续第三年在CES展会上发布了最新作品。这是一台4K屏幕的电视，叫做Aurora RS Pro。研究者 Zihan Zhang 给出了独立的 SymPy 验证脚本，并指出，只需将其中一个输出坐标乘以 −1/2，就可以把雅可比行列式规范化为猜想中更常采用的常数 1，而这不会改变反例的本质。奥罗拉也是奥罗拉全新的产品线。从产品外观来看，Aurora RS Pro的设计方向与同一系列的其他产品有很大的不同。         如果这一反例最终成立，它不仅推翻三维情形，也意味着所有更高维情形都不再成立。

s | 全金属机身的三级设计足以吸引眼球。至于高色彩的内在品质，吉米选择了德州仪器的0.47英寸DMD图像处理芯片，物理分辨率为4K（3840*2160），加上1500流明的超高亮度，这在日常使用中可能不会造成任何压力。

t | 同时，微机电运动补偿技术也一直受到人们的好评。

u | 因为只需在三维反例后增加若干保持不变的坐标，就可以直接构造出任意更高维的反例。

v | 即使在侧铸和三维模式下，极光的RS Pro运动补偿技术也能与血液一起运行。对于喜欢体育节目和游戏的用户来说，很自然他们可以获得更流畅的使用体验，再加上旧CP Hamankaton支持的音频系统，他们必须说得很好。米激光器的RS-Pro仍然值得期待。我知道你在乎什么，不是价格吗？我不知道。不过，二维雅可比猜想仍然是一个独立的开放问题          值得补充的是，Levent Alpöge 并不是从 AI 领域半路进入数学，而是一位长期从事数论与算术几何研究的职业数学家。

w | 近年来，他才加入 Anthropic，从事人工智能研究。吉米没提这个茬子。         他本科毕业于哈佛大学，主修数学，并获得物理学硕士学位；随后在剑桥大学完成数学高级研究课程。海信：8K只是剩菜。2020 年，他在普林斯顿大学获得数学博士学位，导师是菲尔兹奖得主 Manjul Bhargava。         图｜Levent Alpöge（来源：Quanta Magazine）          大型语言模型兴起后，Alpöge 开始转向人工智能。他曾在个人主页写道，GPT-4 让他认为人工智能是“人类创造过的最有意思的东西”，因此重新回到计算机科学领域，希望增加这场变化产生积极结果的可能性。我们正在与国内激光制造商合作，寻求新技术。例如，海信8K电视早在2017年就诞生了，所以当大家还在为8K技术苦苦挣扎的时候，海信有能力在其他领域“制造波浪”。海信在激光电视领域取得了相当的成就，今年将两台消费级三级彩色激光电视机带入了2019年的CES，立即引起了所有激光电视迷的关注。         根据目前公开的信息，这次发现的大致过程是：Akhil 提出问题，Alpöge 将其交给 Claude Fable 5 进行探索，模型最终给出了具体的反例构造；随后，Alpöge 公开了这一构造，数学界再通过人工推导以及 Wolfram Alpha、SymPy 等工具进行了独立验证。         这一过程与 AI 替数学家写出一份传统意义上的数学证明有所不同。对于否定一个猜想而言，并不需要解释所有可能情况，只需要找到一个满足前提、却违反结论的反例即可。当我们选择加入激光电视阵营时，我们应该明白，吸引我们的是激光源的高亮度、长寿命和更好的色彩性能，但由于成本问题，早期的激光电视大多使用单色激光器，而其他颜色（红色和绿色）则是由色轮模拟的。这样的任务天然适合计算探索：模型可以不断尝试构造候选映射、调整参数、检查雅可比条件，再寻找是否会出现不同点映射到同一点的情况。虽然在过去的两年里，随着红色激光光源成本的降低，我们已经开始接触两色激光电视，但我们都知道只有三色激光才是最终的梦想和追求。现在海信已经实现了这个目标。         如果这一反例最终得到确认，它带来的意义将十分重大。因为它展示了一种此前极少出现的研究模式：不是 AI 帮助数学家验证已经存在的思路，而是AI参与寻找一个人类 87 年来始终没有找到的数学对象。同时，它有两个版本，100英寸和70英寸，可以适应不同的生活环境。         从 AlphaGeometry 解决竞赛题，到 GPT、Gemini 参与证明具体命题，再到这一次可能找到推翻经典猜想的反例，大模型参与数学研究的角色正在发生变化。它开始探索的，不再只是“答案”，而是过去只有数学家才会进入的未知搜索空间。在三色激光的支持下，几乎100%的激光电视达到了BT.2020标准。所以既然是“消费”产品，他们的价格不会太高，但在这方面，海信仍然选择保持沉默，只不过它将在2019年正式出售。         参考链接：          1.https://x.com/leventalpoge          2.https://mathoverflow.net/questions/513387/galois-structure-of-the-new-counterexample-to-the-jacobian-conjecture-an-explic          3.https://www.leventalpoge.com/          4.https://dataspace.princeton.edu/          5.https://www.ams.org/prizes-awards/ams-morgan-prize          运营/排版：何晨龙          注：封面由 AI 辅助生成。好的，等等。

x | TCL：我有8K，也填补了前面一批炫目科技品牌的坑。TCL是一条清流。今年，他们来到CES，更多的是填补去年没有填补的坑。虽然它看起来很新，但至少它不会落入图片蛋糕的名下，值得称赞。TCL 2019年的主要车型是去年发布的6大系列电视产品。手机机顶盒的大个子罗库（Roku）制作的家庭电视最大尺寸只有65英寸。它不能满足“比大更大”的需求，所以他们今年更新了6系列电视的75英寸版本。我想知道他们能否在未来的市场上重振TCL的业绩。

y | ？在填补了去年的坑后，TCL正式发布了其首款8K Qled TV x10和最新的AI 8K智能电视，这也是TCL在美国市场发布的首款8K分辨率电视产品。

z | TCL X10采用75英寸8K Qled面板，专门承载TCL开发的2K至4K和4K至8K技术。它可以计算、渲染和填充芯片，并将分辨率低于8K的内容升级为更高的清晰度效果。同时，x10选择了onkyo扬声器，支持杜比原子音频技术。为了追求更好的体验，TCL开发了一款独有的Q级发动机。它还可以作为智能扬声器在开关模式下使用。通过内置工厂语音和180度音源定位算法，可以实现8米语音唤醒。TCL表示，今年将在北美推出65、75和85英寸的Qled电视，但具体销售时间尚不清楚。

| 毕竟，它刚刚完成了旧坑，其能量限制是合理的。至于新的维修站的完工时间，我只希望不会推迟到明年的CES。夏普：我回来了。夏普有8公里的里程，自2015年以来一直没有回到拉斯维加斯会议中心的中央大厅。但今年，日本制造商选择了完全退货。在CES 2019年，夏普基于“用8K和大量技术改变世界”的商业愿景，推出了一套完整的8K解决方案，从拍摄、制作到广播。事实上，夏普对8K的热爱不亚于其他电视领域的人。仅去年一年，他们就发布了两台8K电视，有三种不同的产品，分别是60、70和80英寸。夏普还宣布与谷歌建立战略合作伙伴关系。2019年，所有型号的电视将率先使用最新的Android电视系统。总之，夏普回到CES只是想告诉你，打8K，我们也很强。skyworth：我们也可以和11月刚在乌镇举行的高端skyworth一起玩，现在他们开始用硬件和软件内容交互来武装自己，比如他们带来的全新的高端电视品牌metz classis。关于新品牌的前景，Skyworth只想用人工智能技术、变色龙芯片、杜比全景音响和更好的酷开放系统等新概念武装自己。当然，Skyworth也在今年的CES展会上展示了8K电视，但它甚至没有名字。

| skyworth刚刚说，电视机目前有最高的制造水平，至于是否进入消费市场？至少在短时间内不会。事实上，今年对8K的普及并不乐观，毕竟考虑到8K相机的稀缺性、8K资源的稀缺性、8K产品的高价格以及网络流媒体的数据吞吐能力的局限性，很难让我们相信，在短短的一年时间内，我们会完全接受8K。

| 这就是为什么我们可以清楚地看到，超过一半的制造商只有8K。它的“8K方向”是明确的，并不急于推出“8K产品”。所以我们不能过分批评他们在CES上“公然”画饼。毕竟，对于目前的主要消费群体来说，蛋糕就足够了，在可见的未来，我们会看到更多更大更香的蛋糕。CES 2019才刚刚开始。但毕竟，从1080p到4K的普及其实并没有花太长时间，所以我们也需要索尼和三星的丰满和金手来探索未来的道路，以便我们能够做好准备，迎接8K到来的时刻。

Current article:http://yp011w7.zhuaicaisaanzhenshunnaiwei.bond/fb0/158.html

Published on:00:52:02