陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明
陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！
来自主题: AI技术研报
5266 点击 2024-11-23 16:46
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！
最近，大家都被这条消息吓到了：传说Grok 3已经成功证明出黎曼猜想？！虽然这是在玩梗，但还是让我们来仔细剖析下，目前的AI距离千禧年数学难题，究竟还有多远。
破解基因组的奥秘一直是生物科学的前沿挑战，如何让人工智能（AI）读懂 DNA 的复杂信息，并用它来设计和操控生命的“程序代码”？
30多年的数学猜想首次获得了进展！Meta等学者提出的PatternBoost，使用Transformer构造了一个反例，反驳了一个已悬而未决30年的猜想。是否所有数学问题都适合机器学习技术？这样的未来太令人期待了。
中科院北大复旦大佬齐聚的2024科学智能峰会，刚刚在位于北京海淀的北大百年纪念讲堂落下帷幕，现场演讲信息量爆棚。同期，海淀这片创新热土还有好消息传出：海淀区送算力补贴了，最高1000万！
39年来一个看似理所当然的数学理论，刚刚被数学家证伪！UCLA和MIT的研究者证实：概率论中众所周知的假设「上下铺猜想」是错的。有趣的是，他们用AI已经证明到了99.99%的程度，但最终，靠的还是理论论证。
不少人怀疑，今年的诺奖“偷懒”了。 除了备受关注的诺贝尔生理学或医学奖“MicroRNA”相关研究外，今年诺贝尔化学奖、物理学奖均被AI相关研究拿下
Max Tegmark团队又出神作了！他们发现，LLM中居然存在人类大脑结构一样的脑叶分区，分为数学/代码、短文本、长篇科学论文等部分。这项重磅的研究揭示了：大脑构造并非人类独有，硅基生命也从属这一法则。
Transformer解决了三体问题？Meta研究者发现，132年前的数学难题——发现全局李雅普诺夫函数，可以被Transformer解决了。「我们不认为Transformer是在推理，它可能是出于对数学问题的深刻理解，产生了超级直觉。」AI可以搞基础数学研究了，陶哲轩预言再成真。
2024年诺贝尔物理学奖和诺贝尔化学奖于10月揭晓，获奖者分别为美国科学家约翰·J·霍普菲尔德（John J.Hopfield）与英国科学家杰弗里·E·辛顿（Geoffrey E.Hinton），以及美国生物化学家大卫·贝克（David Baker）和谷歌旗下DeepMind公司AI科学家德米斯·哈萨比斯（Demis Hassabis）和约翰·江珀（John M.Jumper）。