搜索
Transformer解决了三体问题？Meta研究者发现，132年前的数学难题——发现全局李雅普诺夫函数，可以被Transformer解决了。「我们不认为Transformer是在推理，它可能是出于对数学问题的深刻理解，产生了超级直觉。」AI可以搞基础数学研究了，陶哲轩预言再成真。
纽结理论长期困扰着数学家，但随着人工智能的进步，有研究者在生物学中找到了突破口，因为纽结结构存在于许多重要的生物分子中，例如蛋白质、DNA等。对于难以识别归类的复杂纽结结构，AI给出了令人惊讶的结果。
能拿下数学奥赛银牌水平的AI是否达到了12岁陶哲轩的水平？ 陶神本人的回答来了
训练Transformer，用来解决132年的数学世纪难题！
AI已完全融入数学家的工作流中。陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩。他认为，剩余大约700个让人类头疼的难题，AI或许更有潜力。
陶哲轩发起的「众包」数学研究项目终于快要迎来胜利时刻！
一个创立了自动驾驶公司，一个创立了股票交易平台，这两家公司的创始人凑在一起又会干出什么事儿来呢？ 答案是数学超级智能（MSI）。
诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
本文中，我们将分享 8 款人工智能数学工具，这些工具正在辅助数学教育、学习过程，并使学生和教育工作者能够应对挑战。
阿里巴巴全球数学竞赛，已经举办了六年。 在今年三月，组委会宣布了一件振奋人心的事情—— “不论碳基和硅基”，今年首次开辟了 AI 赛道。