Rayzart

Gamer&Developer

[Rayzart @Rayzart0110]

@elonmusk Grok bot should be integrated with XChat. Right from your chat interface, you can chat with other people, handle work and task assignments, and also coordinate work, chat, and other tasks with Agents. Humans and bots should be truly integrated.

[Rayzart @Rayzart0110]

近期一项发表于《Nature Communications》的研究，首次在人类动脉组织上实现了高级糖基化终产物（CML）的大规模清除，使75岁捐赠者主动脉的损伤水平回落到接近30岁状态。这项由Revel Pharmaceuticals主导、Calico与科罗拉多大学参与的工作，打破了“动脉僵硬只能减缓、无法逆转”的长期医学共识。虽然目前仍处于体外阶段，递送与功能验证尚需时日，但它与衰老细胞清除剂、口服PCSK9抑制剂以及Lp(a)靶向药物等进展共同出现，正在改写我们对心血管衰老“不可逆性”的认知。

[Rayzart @Rayzart0110]

@theojaffee @paulg 这哥俩的营销话术总是大差不差。前段时间说是整出了在网络安全非常有突破的模型，吓得都不敢发布，这会儿又是什么数学史上的重要一天，巴拉巴拉

[Rayzart @Rayzart0110]

@ClaudeDevs Anthropic 更新了 MCP 协议，从“有状态连接协议”转向“无状态请求协议”。

更容易部署到 Serverless 和边缘节点，更方便扩容、鉴权和监控；复杂能力则通过 Apps、Tasks 等标准扩展实现。

[Rayzart @Rayzart0110]

感觉现在的小孩比我们当年要保守很多。Kimi 包个夜店庆祝，以及 OpenAI 在展会上用韩国女团吸引观众，大家都大惊小怪的。

我们那会儿企业邀请日本 AV 女优来站台也是稀松平常。

[Rayzart @Rayzart0110]

@appinn 🤣

[Rayzart @Rayzart0110]

Starship up, SPCX down

[Rayzart @Rayzart0110]

据路透社2026年7月24日独家报道，在全球内存供应紧张和AI需求激增的背景下，长鑫存储和长江存储获得了显著增强的议价能力，开始选择客户并主导部分产品价格。长鑫存储数月来持续提高向华为供货的价格，并拒绝了华为要求缓解涨价压力的请求。

报道还援引知情人士称，2026年6月，一批正在长鑫合肥核心研发区域从事设备维护工作的华为关联设备商新凯来工程师，被长鑫在未提前通知的情况下要求立即收拾工具并离开现场。此后这些工程师未获准返回该研发区域，但长鑫和新凯来仍继续保持业务往来。

长鑫、华为和新凯来均未回应路透的置评请求。
https://t.co/9LMxwcgkmt

[Rayzart @Rayzart0110]

关于中国政府决定不购买 H200，后续有一条更新新闻：7 月 14 日路透社报道，美国政府称已经开始少量向中国供货 H200
https://t.co/i9y3nDo67x

[Rayzart @Rayzart0110]

这两天，微软、英伟达、抱抱脸🤣等忽然发了个联合公开信，呼吁美国政府不要限制开源大模型（前沿开源大模型主要为中国模型）。
我在让GPT核实此信息时，顺便问了一下他的观点

[Rayzart @Rayzart0110]

老黄最终目的还是想把最前沿的卡卖到中国。特朗普访华时美国政府放开了对中国次级卡H200的禁售限制，但临门一脚时中国政府决定不购买（当时通稿都已经出来了，京东甚至已经上架了然后又撤了）。但如果直接开放最新的Vera Rubin，中国政府可能不会限制购买。

[Rayzart @Rayzart0110]

抱抱脸去年来深圳摆摊时拍的，今年干脆直接写中文名好了😆

[Rayzart @Rayzart0110]

王虹、邓煜获得菲尔兹奖，法国总统马克龙出来贺喜，美国芝加哥大学、普林斯顿和MIT出来贺喜，中国北大也出来贺喜。联合培养了属于是🤭#FieldsMedal

[Rayzart @Rayzart0110]

@Xianbao_QIAN @julien_c @AdinaYakup “抱抱脸公司”、“美国开放人工智能研究中心”一个戳中萌点，一个戳中笑点

[snowboat @snowboat84]

昨天有一个大新闻，说A社的数学家用Fable给著名的雅可比猜想找了一个反例，证伪了这个猜想（或者严格地说，是雅可比猜想三维以上的情况）。

今天剧情就反转了。原来极其相似的反例早在1999年就被苏联/俄罗斯数学家Vitushkin构造出来了。Vitushkin构造的是二维的情况，Fable应该是检索到了那篇文章，重新收拾了一下，就变成了三维的情况。

另外雅可比猜想著名的是二维的情况，所以无论当年莫宗坚、张益唐，还是这个Vitushkin，关注的都是二维的问题。三维问题并不是很重要啊。

类似的情况去年openAI也来过一次，信誓旦旦号称原创性地解决了一道埃尔多斯的猜想，结果是检索到的，根本不是自己做出来的。

[0n10n @0xN10N]

很多人对张益唐的印象在于他对孪生素数猜想的突破性贡献，以及他在此之前曾经颠沛流离，甚至在赛百味打工七年的经历。他曾经引用杜甫的诗句来评价这段日子：“庾信平生最萧瑟，暮年诗赋动江关”。
但是这背后的原因呢？
张益唐在普渡大学期间的导师是莫宗坚，莫坚信雅可比猜想的正确性，当年莫指导张博士论文的时候，给了他一个关于雅可比猜想的错误引理，而根据这条错误路线张最终也没能证明雅可比猜想（的一个弱形式），于是被莫评价为“不适合代数几何”，连推荐信也没有给。在莫的口中，张的博士浪费了七年。
跳转到2018年，莫在张益唐取得孪生素数猜想的重大突破之后，还专门补充了一版“回忆录”来进一步加强对张的指责，却依旧淡化自己的责任。他还是相信雅可比猜想的正确性，甚至觉得AI会在不久之后帮助解决证明过程中的逻辑问题。
而今天，AI给出了一个异常精简的，雅可比猜想的反例。这才是最讽刺的。

[Rayzart @Rayzart0110]

@dotey @LinearUncle Gemini已经查无此人了，没有资格受伤

[Rayzart @Rayzart0110]

@typelessdotcom Need a Linux version.

[Rayzart @Rayzart0110]

深圳为户外绿道配备空调休息房（该绿道为西丽环湖绿道，图一为空调房）