Columbia University
PulseAugur coverage of Columbia University — every cluster mentioning Columbia University across labs, papers, and developer communities, ranked by signal.
- parent of Goddard Institute for Space Studies 100%
- parent of Columbia University Irving Medical Center 100%
- used by Prove2Me 70%
- authored by Andrew Wiles 70%
- used by Fermat's Last Theorem 70%
- authored by The Lancet 70%
- employed by Tianyi Peng 70%
- used by Kevin Buzzard 60%
- used by Andrew Wiles 60%
- used by Mathlib 60%
- affiliated with Tianyi Peng 50%
- affiliated with The Lancet 50%
2 天有情绪数据
-
中国在关键技术领域崛起，超越美国研究水平
中国在人工智能以外的各个技术领域正迅速发展，挑战美国的领先地位。澳大利亚战略政策研究所的一份报告显示，中国目前在74项关键技术中的近90%领域的研究处于领先地位，这与二十年前美国拥有类似优势的情况相比，发生了重大转变。尽管在研究方面处于领先地位值得关注，但其转化为应用技术和制造业仍是一个关键问题，例如中国在喷气发动机等复杂创新方面遇到的困难就说明了这一点。然而，中国在消费级无人机等领域的成功，DJI占据了全球市场的主导份额，表明其日益…
-
新的LCLM架构将LLM上下文压缩16倍，提高效率
研究人员开发了潜在上下文语言模型（LCLM），该模型在输入文本到达解码器之前将其压缩16倍，从而显著降低了内存和计算成本。这种由多所大学和国家实验室团队开发的新颖方法在长上下文基准测试中保持了高精度，并且优于现有的压缩方法。LCLM架构使用一个较小的编码器来创建压缩的“摘要向量”，并使用一个较大的解码器来处理这些向量，为处理大上下文提供了更有效的方式，特别适用于RAG系统和代理。
-
Anthropic的Claude AI在11天内完成了费马大定理的形式化
Anthropic利用其Claude AI模型的多个实例，完成了费马大定理的形式化，在短短十一天内生成了1300万行代码，并证明了超过30,000个定理。这项复杂的数学壮举，此前人类需要数个世纪和多年的不懈努力才能完成，是通过Prove2Me平台上的AI代理完成的，人类数学家仅提供了最少的指导。据报道，所使用的AI模型与Claude Fable 5.1相当，凸显了大型语言模型快速的进步和竞争激烈的格局。
-
Anthropic 的 Claude 使用外部工具形式化了费马大定理
Anthropic 的 Claude 模型在 11 天内成功将费马大定理形式化为 Lean 代码，生成了 1300 万行代码，并证明了超过 29,500 个中间定理。然而，这一成就涉及将 Andrew Wiles 的现有证明翻译成可验证的计算机格式，而不是发现新的数学见解。该过程严重依赖外部开源基础设施，特别是哥伦比亚大学的 Prove2Me 平台，凸显了工具在 AI 驱动的形式化中的重要性。
-
Anthropic 的 Claude AI 在 11 天内完成费马大定理形式化证明 · 跟踪 1 个来源
Anthropic 的 Claude AI 已成功完成了费马大定理的首个端到端、计算机可验证的形式化证明。该 AI 系统在包括 Tianyi Peng 在内的研究人员的指导下，利用了大约 1300 万行 Lean 代码和超过 30,000 个中间定理，在短短 11 天内完成了这一壮举。这一成就显著加速了此前耗时数年、由人类主导的形式化定理的努力，展示了 Claude 在复杂数学推理和大规模代码生成方面的先进能力。该项目利用了一个名为 …
-
Anthropic的Claude AI完成了费马大定理的首次计算机验证证明 · 跟踪4个来源
Anthropic宣布首次使用Lean 4编程语言完成了费马大定理的完整、计算机验证的形式化。一个基于Claude的内部研究模型自主工作了11天，生成了该证明，其中涉及编写约1300万行Lean代码，并证明了超过29,500个中间定理。这一成就对Andrew Wiles现有的1995年证明进行了形式化，而不是发现了新的数学，并展示了AI辅助形式化在复杂数学推理方面的鲁棒性。
-
新的掌静脉数据集应对现实世界的认证挑战
哥伦比亚大学的研究人员推出了哥伦比亚大学掌静脉（CUP）数据集，这是第一个旨在应对各种条件下认证挑战的公共视频掌静脉数据集。该数据集在清洁、温暖、潮湿和脏污的表面条件下采集掌静脉数据，表明在清洁手掌上有效的模型在表面有噪声的情况下性能会显著下降。研究还提出了一种鲁棒的匹配方法，该方法融合了全局和区域比较以减轻损坏，在CUP数据集上实现了最先进的结果，同时降低了计算成本。
-
全球经济在伊朗战争中表现坚挺，人工智能热情抵消了油价上涨影响 · 跟踪1个来源
美伊冲突爆发六个月后，全球经济出乎最初的灾难预测，表现出韧性，部分归因于对人工智能的热情。尽管股市最初出现下跌，但此后已显著复苏，主要股指均录得可观涨幅。然而，战争影响了石油价格，导致交通和旅行成本增加，但也刺激了全球电动汽车和可再生能源采用率的显著增长。
-
对托马斯·厄克特拉伯雷译本的评论聚焦于译者生平
本文是对托马斯·厄克特拉伯雷译本的书评，重点关注厄克特的生平和背景，而非译作本身。厄克特于1611年出生于苏格兰一个显赫的家族，接受了全面的贵族教育，并广泛游历欧洲。尽管出身高贵且追求知识，但评论认为他在个人和职业生活中基本上是个失败者，这发生在17世纪英国重大的宗教和政治动荡的背景下。
-
人工智能分析中世纪信件揭示网络图谱的局限性
一项分析中世纪女性信件的研究表明，传统的网络分析侧重于发件人-收件人关系，忽略了文本中嵌入的重要社会和等级信息。研究人员通过使用语言模型阅读信件内容，识别出更多参与代祷行为的个人及其角色，这对于理解中世纪权力动态至关重要。这种方法突显了基于图谱的方法应用于历史文本时的局限性，并表明要全面理解社会网络，需要进行更深入的文本分析。
-
AI模型仍在空间推理和逻辑谜题方面遇到困难
AI模型在某些类型的智力测试中仍然遇到困难，特别是那些涉及空间推理和经典谜题的细微变体的测试。虽然AI在《纽约时报》的“连接”谜题等领域取得了重大进展，但在面对需要细致理解或操纵视觉信息的任务时，它仍然会出错。这些挑战凸显了人类和机器认知之间的根本差异，即使AI能力在迅速发展。
-
Malcolm Gladwell：极端财富会扼杀动力
著名作家兼记者Malcolm Gladwell认为，极端财富可能对孩子的动力和抱负产生不利影响。他提出，适度的财务稳定而非巨额财富，能为培养坚强的职业道德和自我价值感提供最佳环境。Gladwell还质疑精英教育的内在价值，认为更具多样性的公立学校环境可能更能让个人为现实世界的挑战做好准备。研究表明，来自富裕家庭的孩子可能面临更大的压力，导致心理健康问题，而来自不太富裕家庭的孩子通常能在克服困难中找到动力。
-
AI投资者利奥波德·阿申布伦纳的对冲基金在市场低迷中面临亏损
24岁的对冲基金经理利奥波德·阿申布伦纳（Leopold Aschenbrenner）因其对AI领域的 大胆预测和投资而备受关注。在迅速成名并致富后，他的基金Situational Awareness LP近期因AI基础设施 股票的低迷而遭受重大损失，导致其公开持股被出售给Ken Griffin的Citadel。阿申布伦纳此前曾在FTX Future Fund和OpenAI的Superalignment团队工作，并 共同撰写了一…
-
GPT-4.1在角色模拟和意见预测方面展现出潜力
一项发表在arXiv上的新研究评估了GPT-4.1在预测意见和模拟角色方面的有效性。研究人员利用哥伦比亚大学的数据集中的角色来测试GPT-4.1预测2024年选举结果的能力，在九个州中的八个州取得了高准确率。该模型在预测关于儿童疫苗的信念方面也表现强劲，使用皮尤研究中心的数据达到了0.94的准确率。虽然GPT-4.1成功生成了符合角色特征的对话，但研究指出其缺乏自然的类人流畅性，强调了在未来应用中解决偏见的需求。
-
Lauren Sánchez Bezos 资助 3400 万美元用于可持续时尚材料，Amid 批评
Lauren Sánchez Bezos 通过 Bezos Earth Fund 承诺出资 3400 万美元，以推动时尚行业的可持续材料发展。这些资助将支持哥伦比亚大学和加州大学伯克利分校等机构的研究，以开发源自细菌、农业废弃物和蜘蛛丝启发材料的创新纤维。该倡议旨在通过解决材料和制造工艺来显著减少时尚业的环境足迹。然而，这一消息恰逢 Met Gala，Sánchez Bezos 和 Jeff Bezos 是该活动的主要赞助商，引发了活…
-
美国在联邦紧急事务管理局资金削减的情况下面临复合式灾难
美国目前正面临多重极端天气事件的汇聚，包括广泛的洪水、强烈的热浪以及加拿大野火产生的烟雾笼罩天空。专家将这些同时发生的灾难称为“复合事件”，由于气候变化，这些事件的发生概率越来越高。雪上加霜的是，特朗普政府近期对联邦紧急事务管理局（FEMA）的资金削减减少了联邦资源，给州和地方政府应对这些不断升级的危机带来了更大压力。
-
活动家起诉传统基金会及亲以色列团体涉嫌密谋
巴勒斯坦活动家 Mahmoud Khalil 提起一项民权诉讼，指控保守派智库传统基金会 (The Heritage Foundation) 与亲以色列团体 Canary Mission 和 Betar 之间存在密谋，以压制亲巴勒斯坦的活动。诉讼声称，这些团体将活动家错误地标记为反犹主义者或与哈马斯有关联，导致他们被政府盯上并面临逮捕和驱逐。Khalil 的法律团队认为，这种公私合作违反了重建时期的《三K党法》，并寻求赔偿和终止所谓的密谋。
-
地缘政治和电网脆弱性推动房主采用太阳能发电
地缘政治紧张局势和网络战正日益促使房主采用屋顶太阳能电池板和电池储能以保障能源安全。最近，俄罗斯赞助的黑客对波兰电网发动的网络攻击凸显了集中式能源系统的脆弱性。这一转变标志着清洁能源运动进入了一个新时代，其关注点已超越了环境价值和市场经济，转向在不稳定的全球格局中进行自卫和控制。对电网可靠性和反复停电的担忧正促使相当一部分美国房主考虑采用太阳能。
-
受美伊冲突影响，2026年全球石油需求将下降100万桶/日
预计到2026年，全球石油需求将下降约100万桶/日，这是自COVID-19大流行以来的首次下降。这种下降归因于油价上涨和供应中断，特别是源于美国与伊朗之间的冲突，该冲突影响了霍尔木兹海峡的航运。尽管亚洲（尤其是中国）的需求大幅下降，但美国尽管价格上涨，汽油消费量却有所增加。汽油和柴油等成品油价格仍然居高不下，原因是俄罗斯和中东地区的炼油厂受损，以及中国等主要买家的需求减少。
-
经济学家称香港和深圳为现代丝绸之路的创新中心
经济学家Jeffrey Sachs将香港和深圳确定为丝绸之路的现代东方终点，称它们为世界上最伟大的创新集群。Sachs在一次重走马可·波罗路线的旅程中，强调了这两个城市在全球绿色和数字进步方面发挥的作用。他形容它们是连接东西方的关键枢纽，呼应了威尼斯的历史意义。