数学家们已经通过利用盘算机步伐 Lean 验证了数学前沿研究中的一个庞大定理证明的正确性,这评释当代数学可以在定理证冥具中情势化。
相干报道:http://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
相干报道:http://phys.org/news/2021-07-chemical-graphs.html
AI 化学平台Syntelly的研究职员基于Transformer模子开辟了Struct2IUPAC和IUPAC2Struct,可以在SMILES和IUPAC化学标记之间举行转换,实现化学有机分子的精确定名。论文颁发在《科学陈诉》期刊上。
论文链接:http://dx.doi.org/10.1038/s41598-021-94082-y
项目地点:http://app.syntelly.com/smiles2iupac
相干报道:http://techxplore.com/news/2021-07-neural-network-properly-molecules.html
哥伦比亚大学和阿尔伯塔大学的一个团结研究小组体系地评估并优化了基于 RNN 的化学说话模子在低数据情况中的分子天生模子,为在希罕化学空间中直接进修天生模子提供了精良的底子。论文颁发在《天然·呆板智能》杂志上。
论文链接:http://dx.doi.org/10.1038/s42256-021-00368-1
相干报道:http://techxplore.com/news/2021-07-machine-applications-assumed.amp
美国西北大学和麻省理工学院的研究职员使用天然说话处置惩罚技能团结开辟了可以辨认质料是金属照旧绝缘体的开源东西,可以加快发觉和研究电子设置装备摆设质料的速率。论文颁发在《质料化学》期刊上。
论文链接:http://doi.org/10.1021/acs.chemmater.1c00905
项目地点:http://mtd.mccormick.northwestern.edu/mit-classification-dataset/
相干报道:http://www.eurekalert.org/news-releases/923728
杜克大学的电气工程师设计了「神经陪同要领」,利用呆板进修在超质料的大型设计空间中办理具有很多潜伏办理方案的困难,可以关心研究职员办理诸如找出最佳圆柱体尺寸以捕捉电磁能等题目。论文颁发在《光学快报》期刊上。
论文链接:http://dx.doi.org/10.1364/OE.419138
相干报道:http://phys.org/news/2021-07-machine-learning-method-optimal-solutions-extremely.html
每个癌症患者的肿瘤细胞都市积存很多突变,但并非全部突变都与癌症的进展有关。巴塞罗那生物医学研究所的研究职员开辟了一种呆板进修东西 BoostDM,可以评估给定范例肿瘤的基因中全部大概突变对癌症进展的潜伏奉献。该东西已被集成到 IntOGen 平台,论文颁发在《天然》杂志上。
论文链接:http://doi.org/10.1038/s41586-021-03771-1
项目地点:http://www.intogen.org/search
相干报道:http://www.eurekalert.org/news-releases/923491