刘江/LIU Jiang (@turingbook)
@turingbook
0 正在关注 0 粉丝
AI时代就是要敢想啊，太励志了——协和的一个神经外科博士生金山木，本科北大地质专业，自学数学，用GPT-5.6解决了矩阵分析领域一个核心且著名的未解难题Crouzeix猜想（2004年提出）！ 已经得到Crouzeix本人在内的多位数学家确认。
显示更多
Latest crazy story from the frontiers of math and AI -- a neurosurgery resident, with no training in advanced math, uses ChatGPT 5.6 to solve a major open problem in numerical linear algebra.
显示更多
这位OpenAI的同学说了一个事实：现在顶级实验室几乎不太读这些顶会论文了（水文太多，虽然偶有佳作，很多结果很牛的论文都有人为操作痕迹）。😅
PSA: Most biglab people now read almost zero papers and understand ICLR/ICML/NeurIPS to be mainly full of overclaims & fraud. (but there are a few diamonds in the rough of course)
我在清华经管学院给体育冠军班讲企业战略课，柯洁是班上提问最活跃的同学，而且质量还挺高。
柯洁也太天才了，天天直播金铲铲，结果还是轻松夺冠了王中王杯。赛后采访一脸无辜说“不知道为什么就赢了”，“自己最近一直在琢磨其他事情，没有花时间在围棋上”。
他的对手们又是组国家队，又是天天集训，人都快熬干了。这些棋手可能是有天赋，但是柯洁属于天赋外溢的那种，怎么挥霍都还是有很多。
显示更多
说实话，昨天看了梁文锋的长篇讲话，对他的印象是减分的。如果大家关心的话，我可以再展开讲讲哈哈。
吴恩达还真是妥妥的大佬：Sam Altman斯坦福大学本科的时候做过他的实习生，搞强化学习；Dario Amodei是吴恩达任负责人的百度深度学习研究院（IDL）的研究员（DeepSpeech和scaling law）。此外Ilya Sutskever是他在斯坦福大学的博士后，Geoff Hinton是他在Google Brain组的成员。
显示更多
害苦了张益唐的大问题雅可比猜想（1939年提出），被Fable 5找到一个反例否定了。张益唐博士七年苦苦求解没搞定，还把与导师的关系搞砸了。这是AI在数学研究领域的又一个里程碑。
显示更多
很多人对张益唐的印象在于他对孪生素数猜想的突破性贡献，以及他在此之前曾经颠沛流离，甚至在赛百味打工七年的经历。他曾经引用杜甫的诗句来评价这段日子：“庾信平生最萧瑟，暮年诗赋动江关”。
但是这背后的原因呢？
张益唐在普渡大学期间的导师是莫宗坚，莫坚信雅可比猜想的正确性，当年莫指导张博士论文的时候，给了他一个关于雅可比猜想的错误引理，而根据这条错误路线张最终也没能证明雅可比猜想（的一个弱形式），于是被莫评价为“不适合代数几何”，连推荐信也没有给。在莫的口中，张的博士浪费了七年。
跳转到2018年，莫在张益唐取得孪生素数猜想的重大突破之后，还专门补充了一版“回忆录”来进一步加强对张的指责，却依旧淡化自己的责任。他还是相信雅可比猜想的正确性，甚至觉得AI会在不久之后帮助解决证明过程中的逻辑问题。
而今天，AI给出了一个异常精简的，雅可比猜想的反例。这才是最讽刺的。
显示更多
@Zhm20220917 @dotey 前沿显然不太对，但符合中国人喜欢把title起得比较大的习惯（writer=作家，principal engineer=首席工程师，lab=研究院……）。英文forward deployed出自军事术语，就是前线部署而不是在后方呆着的意思。
显示更多
最近的一个观察：Codex将成为AI时代的Office，可能也会成为操作系统。来自OpenAI的研究：他们几乎全员都从ChatGPT转向Codex了，包括研发、法务、财务和招聘部门。
显示更多
The biggest shift in AI for work may be the move from chat to delegation.
In a new paper, we study how Codex usage evolved over the past year - especially within @OpenAI - as agentic tools became more capable.
We saw an expansion of users and usage in this time.
显示更多
还是亲历者来说说历史吧。中国最早的大模型研究基本上与智源研究院有关。第一个正式发布的大模型是智源研究院支持清华刘知远团队的清源CPM（2020年11月，26亿参数） ，后来演变为OpenBMB，现在还是最好的端侧模型之一。然后就是智源研究院牵头，唐杰老师挂帅的悟道1.0模型系列（2021年3月），其中就包括GLM的最早期版本（GLM论文通信作者是唐杰和杨植麟）。
其他比较早期的工作，百度是Ernie 3.0（2021年7月）；阿里M6（2021年3月）是与唐杰团队合作的（林俊旸是第一作者，唐和当时在阿里的杨红霞是通信作者），后来演变为Qwen。华为盘古有两个版本，一个是华为云田奇与杨植麟团队合作，一个出自诺亚方舟实验室，但都没有持续。
可能有遗漏的，大家可以补充。
显示更多
