3月31日，网传中科院化学所发生爆炸事故，有学生疑似因此身亡。4月1日，红星新闻记者从中科院化学所工作人员处确认了该消息。

3月31日，网传中科院化学所发生爆炸事故，有学生疑似因此身亡。4月1日，红星新闻记者从中科院化学所工作人员处确认了该消息。 “具体情况我们也不是很清楚，这个事情说实话是挺悲痛的。”该名工作人员表示，爆炸事故存在，但是身故者并非研究员。另外，由于事故刚刚发生，所以目前调查工作还在进行中，未来肯定会以公开的方式提供一个说法。 另有网友在中科院官网微博“中科院之声”的一条微博下询问此事，官微对此回复称“安全第一，警钟长鸣，珍惜生命”。 （红星新闻）

Pavel Durov曾与2017年6月17日与信息安全研究员Max Eddy打赌，称被美国政府资助的Signal的加密设计会在

Pavel Durov曾与2017年6月17日与信息安全研究员Max Eddy打赌，称被美国政府资助的Signal的加密设计会在五年内被发现有后门，赌注为一百万美元。然而五年之期已过，Signal并未被发现有任何后门。

数学天才孙崧加盟浙大回国任教 中科大少年班出身 27岁破解“丘成桐猜想”

数学天才孙崧加盟浙大回国任教 中科大少年班出身 27岁破解“丘成桐猜想” 孙崧长期深耕微分几何、复几何和几何分析领域。27岁，孙崧就与导师一起破解了困扰数学界近40年的难题，后获国际几何学领域最高荣誉之一维布伦几何学奖。同时获奖的还有菲尔兹奖得主Simon Donaldson。他还曾获有着“诺奖风向标”之称的斯隆研究奖、科学突破奖–数学新视野奖等，受邀在国际数学家大会上作了45分钟的报告。加入浙大数学高等研究院后，出生于1987年的他就是该院第五位永久成员，也是最年轻的一位。而其他四位成员，也都是赫赫有名的顶尖数学家，分别是：创始院长、中科院院士励建书，中科院院士阮勇斌，中科院院士孙斌勇，北大数学“黄金一代”、前耶鲁大学数学系教授刘一峰。为卡拉比猜想画上句点孙崧的主要研究成果之一，就是在2014年，与导师陈秀雄和1986年菲尔兹奖得主Simon Donaldson一起，证明了第一陈（省身）类为正时的卡拉比猜想。此时孙崧只有27岁，距离丘成桐给出“前一半”卡拉比猜想的证明，已经过去了近四十年。△左起：陈秀雄，Simon Donaldson，孙崧，图源美国数学学会官网1954年，国际数学大会在阿姆斯特丹举行，卡拉比在会议的邀请报告中用一页纸写下了他的著名猜想：令M为紧致的卡勒（Kahler）流形，那么对其第一陈类中的任何一个（1，1）形式R，都存在唯一的一个卡勒-爱因斯坦度量，其Ricci形式恰好是R。用物理语言来描述，就是在封闭的空间，有无可能存在没有物质分布的引力场？1976年，丘成桐利用卡勒几何中的曲率的概念成功证明了第一陈类为负或零时的卡拉比猜想。值得一提的是，当年的丘成桐，也是27岁。而针对第一陈类为正的情况，丘成桐提出了一个证明思路，即将空间的卡勒-爱因斯坦度量的存在性问题转化为代数几何的稳定性问题，被学界称为“丘成桐猜想”。但丘成桐本人也未能给出具体的证明过程。最终，通过不断构造逼近的方式，三人给出了这一猜想的最终证明，三篇系列论文发表在国际数学顶刊《美国数学会杂志》上。审稿人评价道：证明是突破性的，它不仅解决了一个基本性的问题，同时还发展了许多新颖有力的工具，以揭示卡勒几何、代数几何和偏微分方程之间的深刻联系。至此，历经师徒三代人（陈秀雄是卡拉比教授的“关门弟子”）和历代数学家们60年的努力，卡拉比猜想终于画上了完美的句点。2014年当年，孙崧获得了有“诺奖风向标”之称的斯隆研究奖，获奖原因正是“卡勒几何方面的工作”。斯隆研究奖旨在支持和奖励“处于职业早期阶段的杰出学者”，目前为止，斯隆研究奖获得者中已诞生50余位诺奖得主。2018年，因为丘成桐猜想的证明，32岁的孙崧与导师陈秀雄，还有Simon Donaldson一起，获得维布伦奖。值得注意的是，Simon是1986年的菲尔兹奖得主，彼时已年近花甲。该奖项由美国数学会颁发，面向的对象是在几何或拓扑学领域取得重大成果的学者，1981年丘成桐也获得了这一奖项。同年，孙崧受邀在国际数学家大会上作45分钟报告。而后，科学突破奖评审委员会授予孙崧2021年数学新视野奖，“以表彰他在复几何领域的一系列开创性贡献。”科学突破奖被誉为“科学界的奥斯卡”，旨在表彰全世界最顶尖的科学家。其中每年颁奖不超过3人的数学新视野奖，专门面向年轻科研人员，以表彰他们在各自领域的优异成就。浙大数高院最年轻的永久成员回顾孙崧的数学生涯，他常说没有捷径可走，兴趣是求索的前提。据他在浙大官微上的自述：我觉得需要有发自内心的渴望去理解数学。研究需要专注，更需要坚持走自己的路，研究自己觉得有意思的问题。兴趣驱动下，孙崧数学生涯可谓一路“高开高走”。△图源：“浙江大学”微信公众号2000年，孙崧以中考全县第一的成绩考入安徽省怀宁中学。高二，参加全国高中学生化学竞赛，获二等奖；同年参加高考，被中科大少年班录取。孙崧由此也成为了怀宁县考进科大少年班的第一人。2006年，孙崧拿到全额奖学金前往美国威斯康星大学数学系学习，并在四年后获博士学位。正是在读博期间，师从知名几何学专家陈秀雄。△图源：上海科技大学数学科学研究所官网陈秀雄是美国威斯康星大学终身教授，美国纽约州立大学石溪分校教授。此外，他还是中科大几何与物理研究中心创始主任、“吴文俊讲席教授”，上海科技大学数学科学研究所创始所长、特聘教授。除维布伦奖，他还是2019年西蒙斯学者奖获得者，是继陶哲轩和姚鸿泽后第三位获得西蒙斯学者奖的华人数学家。碰巧的是，陈秀雄教授是中科大1982级校友，师徒两人入校时间正好相隔二十年。毕业后，孙崧曾任纽约州立大学石溪分校助理教授；2018年任加州大学伯克利分校副教授、数学系正教授。这次加盟浙大数高院，孙崧将成为浙大数高院第五位永久成员，且1987年出生的他，也是其中最年轻的一位。据浙江大学官方微信公众号消息，孙崧具体职位是杜建英讲席教授，他本人表示：加盟浙大后，我将做好自己的学术研究，指导有志于从事数学的学生，并尽我所能将自己的专业传承给更年轻的一代。浙大数高院于2017年成立，中科院院士励建书，是该研究院的创始院长。2019年，密歇根大学讲席教授阮勇斌加盟。阮勇斌教授长期致力于辛几何、数学物理等领域的研究，2021年当选为中科院院士。一年后，当时最年轻的中科院院士孙斌勇也入职数高院，并继续在李群表示论等领域深耕。同样间隔一年，北大数学“黄金一代”刘一峰加盟，之前他在耶鲁大学任正教授。加入数高院后，又在数学四大顶刊发表论文三篇。 ... PC版： 手机版：

中国公司向瓦格纳出售卫星和卫星图像

中国公司向瓦格纳出售卫星和卫星图像 根据法新社看到的一份文件，俄罗斯雇佣兵组织瓦格纳2022年与一家中国公司签订了一份合同，向后者购买两颗卫星并使用其图像，以加强瓦格纳的情报收集工作。 法新社星期四（10月5日）报道，合同签订于2022年11月15日，即俄乌战争打响的大半年后。瓦格纳在时任首脑普里戈任的领导下帮助俄军，在乌克兰战场上发挥了关键作用。 合同显示，北京云泽科技有限公司将两颗属于中国航天巨头长光卫星技术公司（CGST）的高分辨率观测卫星JL-1 GF03D和JL-1 GF03D 13，出售给尼卡－弗鲁特公司（Nika-Frut），该公司是普里戈任商业帝国的一部分。合同价值3000多万美元（4000多万新元），包含卫星本身和附加服务的费用。合同至今仍然有效。 一名欧洲安全消息人士透露，合同还规定了按需提供卫星图像的条款。瓦格纳还在合同中要求，于今年5月底拍摄俄罗斯领土的图像。这些图像都是瓦格纳6月兵变期间，占领的乌克兰边境和莫斯科之间的沿线图像。 不过，法新社称，合同里并没有提及瓦格纳订购俄领土图像的内容，法新社也无法独立证实此事。 网上资料显示，长光卫星技术有限公司于2014年12月01日成立，是中国第一家商业遥感卫星公司，主要从事卫星检测系统及设备研发等服务。该公司由吉林省政府、中科院长春光机所、社会资本以及技术骨干出资成立，总注册资金19.7亿元人民币（约3.74亿新元）。 美国康奈尔大学航空航天研究员法尔科（Gregory Falco）说，瓦格纳对中国技术的使用表明俄罗斯在这一领域具有局限性，“而中国在这方面是顶尖的”。 法新社就这份合同向中国外交部求证，中国外交部回复称：“我不知道你描述的情况。” 中国外交部称，中国一贯“以审慎、负责的态度对待有关出口的问题，严格按照中国的政策、法律和国际义务行事”。 云泽科技已经在今年2月被美国商务部列入制裁名单，理由是“为俄罗斯军事或国防工业基地做出了重大贡献”，并参与“违反美国国家安全和外交政策利益的活动”。 ...

GPT-4o 17人Omni金牌团队首揭秘 清北上交中科大6位华人领衔

GPT-4o 17人Omni金牌团队首揭秘 清北上交中科大6位华人领衔 就在刚刚，GPT-4o的关键团队信息，也被公布了出来。就是这个名为“omni”的团队，发挥出了不可思议的潜力，让OpenAI的首个原生全多模态模型成为可能。Sam Altman盛赞，如果没有团队负责人Prafulla Dhariwal长期以来的远见、才智、信念和决心，就没有GPT-4o。而整个团队的努力，才使得他所期待的人机交互革命成为现实。OpenAI联创Greg Brockman，也表扬了这位肩负着整个团队使命的负责人。多亏了Prafulla Dhariwal“建立全能大模型”的信念，并且在过去的18个月中联合了OpenAI的许多团队，在多个团队的通力合作下，GPT-4o才得以诞生。根据负责人的说法，其实OpenAI早就有意打造这样一个Omni大模型了。然而一年多之前，团队曾经做过多次多模态的尝试，却没有一次能让最大的GPT成功地完成多模态运行。幸运的是，团队成员齐心协力，用出色的能力攻克了种种能力，使GPT-4o成为可能。网友锐评：“你们确实处于创新的前沿，执行水平达到了大型科技巨头梦寐以求的水平。”而如此惊艳的演示，竟然是一个不到20人的小团队打造出来的。Omni团队揭秘接下来，一起看看打造OpenAI首个原生多模态GPT-4o背后团队成员，都有谁？负责人Prafulla Dhariwal领导GPT-4o开发的负责人Prafulla Dhariwal，是一位印度小哥。他于2017年获得了麻省理工学院的计算机科学学士学位。毕业前夕，Dhariwal就加入了OpenAI（那时OpenAI仅成立一年），并在17年正式成为研究科学家。至今，Dhariwal任职OpenAI 7年，可以说，他见证了这家初创公司的成长全过程。在此期间，Dhariwal参与了诸多重磅的研究。根据LinkedIn个人主页，他将发表论文的领域分类为生成式模型、无监督学习、Scaling Law、定理证明、强化学习、量子复杂性。其中包括DALL·E 3、DALL·E 2，模型一致性等，还共同提出了著名的“Scaling Law”。值得一提的是，Dhariwal曾在高中期间参加了几次国际奥林匹克竞赛。他是2012年IMO竞赛的金牌得主，也是IAO（国际天文学奥林匹克竞赛）、IPhO（国际物理奥林匹克）的金牌获得者。有网友称，Prafulla Dhariwal从高中起就是我的灵感来源。他当年为印度赢得了IAO、IPhO和IMO的金牌，并在OpenAI大学毕业后从事非常酷的VAE、Gans、DDPM、一致性模型等项目。6位华人Li JingLi Jing在团队中发挥的作用是，让大家拥有令人惊叹的图像/3D生成。此前，他为Dall-E 3、Sora、GPT-4o都做出过贡献。他曾在Meta做过2年的博后研究员，随后进入OpenAI成为全职研究员。虽然才入职OpenAI不到两年，但他已参与过多个OpenAI的重磅研究了。他在北京大学获得物理学学士学位，在MIT获得物理学博士学位。Casey ChuCasey Chu是团队的老员工了。他从2020年4月就入职了OpenAI，如今已经是4年的“元老”了。他本科在哈维·穆德学院获得数学学士学位，在斯坦福大学获得计算数学硕士学位。Mark ChenMark Chen是OpenAI的前沿研究主管，并且还是美国IOI队的教练。在团队漫长的研究中，Mark Chen是大家奋斗的支柱。他已是OpenAI五年多的老员工。此前曾在微软、Trading实习，在哈佛做访问学者，在量化研究工作过5年，并且成为合伙人。他毕业于MIT数学-计算机专业。Jiahui Yu（于佳慧）Jiahui Yu负责带领OpenAI的感知团队。此前，他曾担任Google Brain和Google DeepMind的高级研究科学家和经理。他的研究领域包括序列建模（语言、语音、视频、金融数据）、计算机视觉、生成模型和高性能计算。在研究生期间，他在微软亚研院、旷视科技、Adobe Research、Snap Research、Jump Trading、百度研究院、NVIDIA Research和Google Brain都有过实习经历。他本科毕业于中国科技大学少年班，获得计算机学士学位。博士毕业于伊利诺伊大学香槟分校。Huiwen ChangHuiwen Chang在OpenAI已经工作一年。此前她曾在Google工作过5年，在微软亚研院、Adobe、Facebook有过实习经历。她在清华大学计算机科学实验班（姚班）取得学士学位，然后在普林斯顿大学取得博士学位。Yu Zhang他在OpenAI工作了8个月。他此前曾在GoogleDeepMind工作过6年，还在微软亚研院、微软实习过。他本科在上海交通大学取得计算机学士学位，在MIT取得博士学位。其他关键成员James BetkerJames Betker在这个团队中负责得非常全面，应有尽有，包括图像、音频、数据、集成、后训练（post-training）。这是从Google跳槽至OpenAI的大咖。在加入OpenAI之前，Betker曾在Google担任了3年的软件工程师。此外，他还在2011年加入了Garmin International，现任职高级软件工程师。他曾获得了UCSB的计算机科学动查看学士学位，与此同时，在2005-2009年期间，还是在学校担任4年的软件工程师。Jamie KirosJamie Kiros让GPT-4获得当前最佳的视觉感知能力，做出了非凡的成绩。此前，他曾在Google工作过3年。他在多伦多大学取得计算机博士学位。Rowan ZellersRowan Zellers在Omni团队中的贡献是，让OpenAI可以像人一样自然地看到视频。毕业后，他加入了艾伦人工智能研究所（AI2）成为研究实习生。2022年6月，成为OpenAI的一名技术人员。Zellers曾获得了哈维·穆德学院（Harvey Mudd College）的数学和计算机科学的学士学位，以及华盛顿大学计算机科学博士学位。Alexis Conneau在加入OpenAI之前，Alexis Conneau就已经提出了“Her”（视觉模型）的理念，并且坚持不懈地执行并实现了它。目前，Conneau是OpenAI的语音AGI负责人。进入他的个人主页，就知道Conneau对Her有多么痴迷了。Conneau在加入OpenAI之前，曾在Meta、Google担任过研究科学家，有着9年的自然语言深度学习的经验。华盛顿邮报曾对Conneau进行了个人专题报道Alexis Conneau曾帮助Meta（Facebook）和Google打造了以惊人的精确性理解数十种语言的AI系统。在Meta期间，Conneau团队推进了机器学识算法，将语言用数字抽象形式表现的能力，最终训出能够处理同步语言的AI。比如XLM-R模型可以处理100+语言，其准确性几乎与单一语言模型一致。Conneau在Meta做的最后一项工作是Wave2vec-U。这是一种无人监督的语音识别系统，可以从音频中读取单词。此外，他还发明了一种算法XLm-Roberta，能够阅读各种语言的海量数据。这项研究也成为他被引最高的成果。他曾获得了Facebook AI Research的计算机科学博士学位，在巴黎-萨克雷高等师范学校获得了机器学习硕士学位，以及巴黎综合理工学院获得了数学硕士学位。Gabriel GohGabriel Goh和接下来要介绍的Ishaan Gulrajani，在团队中主要贡献是，提出了一系列相关的“Scaling Law”的工作。这样当所有这些模态（视觉、语音等）汇集在一起时，模型便可以擅长处理一切事物!Gabriel Goh也是OpenAI 5年多的老员工，此前曾在苹果工作1年半。他在英属哥伦比亚大学取得硕士学位，在加州大学戴维斯分校取得了数学专业博士学位。CBC曾报道过Gabriel Goh到OpenAI后，在2021年设计的CLIP系统。他参与的这项研究，揭示了CLIP无法正确识别图像，会把放着iPod字样的苹果识别为iPod。Ishaan GulrajaniIshaan Gulrajani目前是OpenAI的研究员。根据OpenReview的介绍，他曾在Google和Meta工作过。并在MIT获得学士学位，以及在斯坦福大学获得博士学位。Alex NicholAlex Nichol在团队中主攻3D图像生成，也是DALL·E 2的共同发明者。此前，他一直是一位自由职业者。随后，在2107年加入了OpenAI任技术研究员，中间还离职有近一年时间，并在2020年5月再次入职。比如，在GPT-4o官方报博客中的演示，它可以生成一致的试图，重建复杂3D模型。这些所展示出的成果，离不开Nichol的贡献。Heewoo Jun与Nichol一样，Heewoo Jun在团队中也在负责图像、3D生成。根据OpenReview介绍，他曾在2015-2019年间在百度（美国... PC版： 手机版：