姚期智杨植麟联手，让数学家松了一口气
五位作者来自月之暗面、清华大学和上海期智研究院，其中两个名字格外显眼:一位是图灵奖得主、清华大学交叉信息研究院院长姚期智，一位是月之暗面创始人杨植麟。
姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？
AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。
杨植麟现身香港，沈南鹏主持一场对话
本周，香港迎来金融科技周，连续第五年的国际金融领袖投资峰会也拉开了帷幕。今年7月，月之暗面发布的Kimi K3以2.8万亿参数的开源权重形态震动业界，公司称其在整体能力上仅次于Anthropic的Claude Fable 5和OpenAI的GPT 5.6。
Kimi创始人杨植麟：本科最大遗憾是原创音乐没拿冠军；皮查伊驳斥Gemini落后论调；iOS 27代码曝光：苹果拟对租赁违约iPhone锁机| 极客头条
2026 年国际数学家大会于当地时间 7 月 23 日上午在美国费城开幕，现场揭晓菲尔兹奖得主，中国青年数学家王虹、邓煜获奖。
从阿里离职五个月后，林俊旸官宣创办AI公司语用科技
IT之家 8 月 12 日消息，林俊旸（yáng）今日宣布，他在上海创办了一家新公司 Pragmatik Labs（语用科技），简称 p7k。新公司的研究方向为横跨数字世界和物理世界的下一代智能体（Agent）。
投资界AI周报|美股最惨一夜
这位1998年出生的年轻人，2025年底正式任腾讯首席AI科学家，彼时接手能力尚缺的Hy2，主导推出Hy3 preview、Hy3、Hy4 preview，再到Hy4。
Kimi杨植麟现身香港 对谈红杉资本沈南鹏
在11月2日晚间举行的欢迎晚宴上，红杉中国创始及执行合伙人沈南鹏、月之暗面创始人及行政总裁杨植麟，以及智元创新联合创始人、联席总裁兼中央研发部总裁熊彦三人围绕“科技致善”展开了对谈。
清华姚期智和杨植麟首次联手：大模型开始改写人类数学记录了
刚刚，姚期智与杨植麟两位AI大牛首次联手发表新论文。11月8日消息，智能纪元AGI独家获悉，近期，图灵奖得主、中国科学院院士、清华大学交叉信息研究院院长姚期智团队，联合月之暗面（Kimi）创始人杨植麟等人发表论文：《TCSEXAM：在TCS研究的全范围内评估前沿大型语言模型》。
月之暗面Kimi紧急声明：网传关于创始人及员工的信息纯属虚构，已报案
红星资本局9月12日消息 今日，@月之暗面Kimi 发文称:网传关于创始人及员工的信息纯属虚构，系恶意造谣，已第一时间向公安机关报案，将依法追究相关造谣者的法律责任。
姚期智杨植麟首次联手给 AI 出的博士级题目，Kimi 多画出了「关键一条边」
Kimi 刷新 629 条边图论参考纪录，只多加了1条边，为什么数学界等了这么多年?此前的参考记录是 629 条——数学界认为这已经接近极限。