“首次证明”项目对AI研究级数学能力进行严格测试。最佳模型(IMProofBench)在10道题中答对6-7道,ChatGPT-5.5 Pro答对4-5道,整体表现为“C-”。AI在文献检索和技术应用方面展现优势,但仍存在大...
圣达菲研究所的著名教授Cristopher Moore在“Brain Inspired”节目中,深入探讨了计算复杂性理论如何为神经科学和人工智能领域提供独特的分析视角。他指出,计算复杂性原则不仅能帮助我们理解大...
AI智能编码框架正以前所未有的速度重塑理论神经科学。这些系统通过自然语言交互,将模型构思转化为可运行代码,极大地加速了模型探索、测试与迭代,克服了传统工程瓶颈。它不仅使复杂...
SpaceX正寻求高达1.75万亿美元的IPO估值,这主要依赖于其尚未实现的宏伟工程,包括完全可重复使用的星舰和轨道AI数据中心。尽管公司在猎鹰9号和星链网络方面取得了显著成就,专家们对其激...
一项发表于《科学》杂志的新研究对近1.2万名9-10岁儿童的脑部MRI和行为数据进行了分析,发现智商与大脑结构和功能之间的关联在很大程度上是虚假的。一旦控制社会经济地位这一变量,两者...
人工智能公司Anthropic(Claude开发者)近日警告,AI系统可能正处于“递归式自我改进”的边缘,即AI无需大量人类干预即可设计并构建其继承者,这可能导致人类失去对技术的控制。为此,Anth...
国际空间站(ISS)因俄罗斯“星辰”号服务舱(Zvezda)的PrK转运通道漏气加剧,导致宇航员短暂撤离至停靠的SpaceX载人龙飞船避险。该漏气问题自2019年起持续存在,近期泄漏量增至每日约一磅...
美国国家科学院(NAS)主席玛西娅·麦克纳特(Marcia McNutt)在年度科学状况报告中指出,美国科学政策正经历“动荡”,面临联邦支持不确定、科学机构缩编、人才大量流失及政治干预科研拨款...
本期《大脑启发》播客中,主持人Paul Middlebrooks与哥伦比亚大学神经科学博士后哲学家Nedah Nemati展开对话。Nemati深入神经科学实验室,研究实验工具、方法乃至研究者自身经历如何影响科学产出...
近期,OpenAI的AI在几何学“单位距离问题”上取得突破,引发数学界对人工智能(AI)影响的广泛关注。为应对AI可能对数学研究带来的负面冲击,一群数学家、计算机科学家及数学史学家共同起...