目录：计算机证明数学定理大获成功 继蛋白质结构预测之后，又迎来化合物分子结构的预测 AI化学平台Syntelly开发正确命名有机分子的AI工具 在化学语言中的应用机器学习需要的数据比假设的要少 新的AI工具可以加速电子设备材料的发现 机器学习在超材料的大型设计空间中寻找最佳解决方案 机器学习推动个性化癌症医疗 计算机证明数学定理大获成功 数学家们已经通过使用计算机程序 Lean 验证了数学前沿研究中的一个复杂定理证明的准确性，这表明现代数学可以在定理证明器中形式化。 相关报道：https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ 继蛋白质结构预测之后，又迎来化合物分子结构的预测 化合物分子的 3D 结构决定了材料的属性，从化学分子图预测所有原子的 3D 坐标几乎是每个计算化学工作流程的开始。维也纳大学的研究人员现在开发了一种新的机器学习模型 Graph To Structure (G2S)，可以直接从分子图预测结构。论文发表在《自然·通讯》杂志上。 论文链接：http://dx.doi.org/10.1038/s41467-021-24525-7 相关报道：https://phys.org/news/2021-07-chemical-graphs.html AI化学平台Syntelly开发正确命名有机分子的AI工具 AI 化学平台Syntelly的研究人员基于Transformer模型开发了Struct2IUPAC和IUPAC2Struct，可以在SMILES和IUPAC化学符号之间进行转换，实现化学有机分子的正确命名。论文发表在《科学报告》期刊上。 论文链接：http://dx.doi.org/10.1038/s41598-021-94082-y 项目地址：https://app.syntelly.com/smiles2iupac 相关报道：https://techxplore.com/news/2021-07-neural-network-properly-molecules.html 在化学语言中的应用机器学习需要的数据比假设的要少 哥伦比亚大学和阿尔伯塔大学的一个联合研究小组系统地评估并优化了基于 RNN 的化学语言模型在低数据环境中的分子生成模型，为在稀疏化学空间中直接学习生成模型提供了良好的基础。论文发表在《自然·机器智能》杂志上。 论文链接：http://dx.doi.org/10.1038/s42256-021-00368-1 相关报道：https://techxplore.com/news/2021-07-machine-applications-assumed.amp 新的AI工具可以加速电子设备材料的发现 美国西北大学和麻省理工学院的研究人员利用自然语言处理技术联合开发了可以识别材料是金属还是绝缘体的开源工具，可以加速发现和研究电子设备材料的速度。论文发表在《材料化学》期刊上。 论文链接：https://doi.org/10.1021/acs.chemmater.1c00905 项目地址：https://mtd.mccormick.northwestern.edu/mit-classification-dataset/ 相关报道：https://www.eurekalert.org/news-releases/923728 机器学习在超材料的大型设计空间中寻找最佳解决方案 杜克大学的电气工程师设计了「神经伴随方法」，使用机器学习在超材料的大型设计空间中解决具有许多潜在解决方案的困难，可以帮助研究人员解决诸如找出最佳圆柱体尺寸以捕获电磁能等问题。论文发表在《光学快报》期刊上。 论文链接：http://dx.doi.org/10.1364/OE.419138 相关报道：https://phys.org/news/2021-07-machine-learning-method-optimal-solutions-extremely.html 机器学习推动个性化癌症医疗 每个癌症患者的肿瘤细胞都会积累许多突变，但并非所有突变都与癌症的发展有关。巴塞罗那生物医学研究所的研究人员开发了一种机器学习工具 BoostDM，可以评估给定类型肿瘤的基因中所有可能突变对癌症发展的潜在贡献。该工具已被集成到 IntOGen 平台，论文发表在《自然》杂志上。 论文链接：https://doi.org/10.1038/s41586-021-03771-1 项目地址：https://www.intogen.org/search 相关报道：https://www.eurekalert.org/news-releases/923491
永久驻军亚洲？英国突然放出狠话，与日本一起合谋，逼中国出手？图为英国防卫大臣华莱士访日最近，南海传来一个坏消息，在英国航母即将进入西太平洋之际，英国突然放出狠话，在英国防卫大臣华莱士访问日本期间，华莱士表示英国或将永久驻军亚洲，甚至不排除在推想医疗完成D2轮融资，D轮融资总金额近9亿元雷锋网消息，7月23日，推想医疗完成D2轮融资，D轮融资总金额近9亿元。投资方包括中关村并购母基金高盛资管建行建信信托启峰资本深圳投控东海投资橡栎资本中关村科学城深圳一村同盛上海联帕拓逊有棵树傲基万拓创新等亚马逊部分账号恢复了？谣言最近亚马逊封国内大卖家的事儿弄得大家人心惶惶，现在亚马逊的一举一动都备受关注。这不，今天雷锋网看到了一则消息亚马逊貌似停止封杀，帕拓逊有棵树傲基万拓创新等大卖的一些品牌账号目前已经安娜塔汉岛事件32个男人和一个女人困荒岛，为了占有而丧失人性探奇闻异事，聊未解之谜，大家好，我是管哥，关注我带你探索不一样的世界，如果说在太平洋的一座荒岛上，把一群男人和一个女人隔绝在岛上7年时间，你们猜会发生什么事？女人可能在左右为难中备范冰冰抵沪看秀，现场呼声不停人气高近日，范冰冰在上海出席活动，观看某品牌大秀。当天，范冰冰头戴蓝白格子头巾，长发微卷散落在胸前，穿着驼色休闲西服套装，眼部的蓝色眼影与头巾呼应，标志性大红唇，复古风的范冰冰看起来潮范C919订单已突破1000架，波音还能独霸全球市场吗？图为C919客机中国客机已经成为美国客机公司的噩梦？中国大飞机C919订单已经破1000架，未来可能狂占三万亿市场，中国客机取得的成就令美国波音公司捶胸顿足，中国客机未来必然占据国俄军20艘战舰逼近珍珠港，与美国彻底翻脸了吗？图为参加军演的俄罗斯军舰在美俄两国首脑会晤前夕，俄罗斯海军罕见地出动20艘军舰，突然逼近珍珠港，美国军方被吓坏了，紧急调动三架F22升空，监视着俄军动向，很多网友纷纷发问，难道要开发生了什么？大西安这个超级工程，投入400亿后，变成了世界唯一图为咸阳国际机场近段时间以来，网上流传着这样一个具有调侃意味的说法大西安的咸阳机场三期扩建这个超级工程，在投入400亿后，让这座机场从西北第一变成了世界唯一。这个说法乍一听起来，难聚焦智能化东风日产致力零缺陷生产在近期落幕的2017年博鳌亚洲论坛中，工匠精神将制造做到极致成为本届论坛的热门话题之一。特别在中国制造迈向中国智造的进程中，大力弘扬工匠精神，崇尚精益求精，将制造做到极致，推动中国东风日产携手马薇薇瘦驼共同探讨科技与智能人工智能的发展是一个漫长的过程，经过一步一步的积累才有了今天。时至今日，人工智能已经离我们不再遥远。然而，在人工智能崛起之后，人类也面临着下一个问题人工智能是否会颠覆人类文明。目前10秒给公交车充满电？中国开发新型能源，节能又环保！多国抢着买如今，人类的日常出行，已经离不开各种交通工具了。虽然现在越来越多的家庭开始配备私家车，但多数人依然选择乘坐公共交通工具，这么做一来成本更低，二来还可以节能减排保护环境。作为身体力行