清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
来自主题: AI技术研报
5259 点击 2024-10-12 14:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
近日，MIT团队推出了自动搞科研的AI系统——SciAgents。在仿生材料的研究中，模型揭示了以前被认为无关的一些跨学科联系，实现了超越传统人类研究方法的规模、精度和探索能力。
最近，斯坦福大学 NLP 组在读博士 Omar Khattab 发布了一篇博文，讨论了顶级 AI 学者们有关做有影响力研究的思考
想参加陶哲轩发起的「众包」数学研究项目吗？ 机会来了！
AI开启模拟宇宙！近日，来自马克斯·普朗克研究所等机构，利用宇宙学和红移依赖性对宇宙结构形成进行了场级仿真，LeCun也在第一时间转发和推荐。
AI 工具的强大功能，令人难以置信。但如果你试图打开引擎盖并了解它们在做什么，你通常会一无所获。AI 常常被视为「黑匣子」。
好羡慕！原来早在8月份，陶哲轩就已经用上了OpenAI o1。
这是 AI 智能体在大部分科学研究中超越人类的第一个案例，或许会彻底改变人类与科学文献互动的方式。
近日，一篇关于自动化 AI 研究的论文引爆了社交网络，原因是该论文得出了一个让很多人都倍感惊讶的结论：LLM 生成的想法比专家级人类研究者给出的想法更加新颖！
Nature子刊新研究「大脑时钟」可以判断一个人的大脑衰老速度是否快于实际年龄。结果显示，女性、不平等现象严重的国家和拉丁美洲国家的人，大脑衰老速度更快。