For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry
新研究发现ChatGPT-5.2可以生成原始数学证明，引入“vibe-proving”作为一种新的人工智能推理方法。人工智能加速了发现，但人工验证仍然是必要的。 VUB 数据分析实验室的研究人员报告称，商业语言模型可以产生原始的数学证明。在他们的研究中，团队表明 OpenAI 的大型语言模型 ChatGPT-5.2 (Thinking) [...]
Hyphessobrycon ribeiroiLima、Silva-Oliveira、Oliveira 和 Faria，2025 Papéis Avulsos De Zoologia。 65； scielo.br/j/paz Researchgate.net/publication/388856173AbstractHyphessobrycon 的一个新种是在巴西帕拉州塔帕霍斯河下游盆地地区以及从伊塔皮兰加河盆地向西到巴西亚马逊州和罗赖马州的里约内格罗河下游盆地的亚马逊河北岸支流中描述的。这个新物种表现出一种颜色图案，由一个明显的单一肱骨斑点和一个明显的尾柄斑点组成，这种图案与几个同源物种共有
JINSA Randi 和 Charles Wax 高级研究员 John Hannah 于 4 月 26 日加入福克斯的 LiveNOW，讨论在唐纳德·特朗普总统命令他的谈判团队取消与伊朗的预定会谈后，伊朗战争的下一步可能会发生什么……阅读更多 ›美国前高级官员：特朗普总统正确优先考虑美国的长期国家安全的帖子首先出现在 JINSA 上。
负责太空政策的助理国防部长，阁下。马克·J·伯科维茨；美国金顶直接报告项目经理 Michael A. Guetlein 将军，USSF；导弹防御局局长希思·柯林斯 (Heath A. Collins) 中将；美国陆军中将弗朗西斯科·J·洛萨诺 (Francisco J. Lozano) 和火力部门采购主管于下午 3:30 作证。美国东部夏令时间，参议院委员会于
CSO Saltzman: Focus space acquisition on ‘minimum viable capabilities’
在 2026 年第一份指挥官的说明中，钱斯·萨尔茨曼 (Chance Saltzman) 将军敦促太空军采办部队和作战部队之间密切合作，以加快新能力的交付。
Inside China’s robotics revolution – podcast
我们离科幻小说中的自主人形机器人还有多远？我走访了中国五个城市的 11 家公司来了解情况 作者：Chang Che。作者：Vincent Lai 继续阅读...
Hormuz Re-opening Odds and Brent June Futures
来自 10 分钟前的数据： 图 1：布伦特原油、NYMEX 6 月期货，美元/桶（黑色，左对数刻度），霍尔木兹海峡概率截至 7 月 1 日仍处于关闭状态（红色，右刻度）。 4 月 27 日上午 9:30（中部时间）观察。资料来源：barchart.com、kalshi.com、作者的计算。
A Comment on Noah Smith's "The Moderately Easy Problem of Consciousness"
位于<>。我试图将其发布到 SubStack Notes，但没有骰子：似乎有长度限制！谁知道呢！诺亚——你把这个很好地描述为“相对简单的意识问题”——而不是形而上学的“为什么会有这样的东西……？”但在日常工作中，“我们必须建立什么样的物理和计算结构，才能板着脸，向他们延伸我们随意延伸到彼此的思想推定？”但我从我认为是我在 ChatGPT-3.5 中经历过的一个具有启发性的时刻开始。我问了它一个垒球问题：“除了我在 Hexapodia 播客上的共同主持人之外，Noah Smith 是什么？”一个甚至可以“理解”世界的系统我认为，一个消息灵通的研究生的水平应该是这样的：“他是一位经济学家和博主，撰
CS Radio – Episode 254: Spring Grab Bag
在本季的最后一个“大礼包”中，Michael 和 Natty 回顾了他们本周在社交媒体上发现的一些有趣的事情，包括 LinkedIN 的首席执行官证明应对是最真诚的奉承形式，以及有关上一主题的更多详细信息：...
Taxonomic reassessment and rejection of the spider family Fonteferreidae Wunderlich, 2023 (Araneae)
蜘蛛家族 Fonteferreidae Wunderlich, 2023 (Araneae) 的分类学重新评估和拒绝摘要根据新的形态学证据，重新评估了蜘蛛家族 Fonteferreidae Wunderlich, 2023 的分类学有效性。这个蜘蛛家族最初是基于单一标本（雄性正模）建立的，该标本缺乏独特的体细胞特征和生殖结构。经过重新检查，发现正模标本是一名亚成年男性，因此之前引用的用于证明其家族地位的诊断特征被发现没有得到证实。在缺乏必要的经验证据的情况下，必须拒绝 Fonteferreidae 科 Fonteferrea Wunderlich 属 Fonteferrea Wunderlic
Airborne SnF26 Day 2 Redux: Viking Twin V-42!, TBM 980 Arrives, Integral R
回顾 04.15.26：Jamail Lakins 和 AviationStart，可调节飞行器机械师主席，二战退伍军人荣誉 Viking V-42 是一个有趣的项目……双机飞机提供 182 种性能和 182 种燃料规格。由两个 Viking 175 本田平台提供动力。 Jan Eggenfellner 预计续航里程为 1000 英里，爬升速度为 1200 英尺/分钟，巡航速度为 160 英里/小时。他希望基本型机器能够由奥什科什飞行。 TBM 系列通过最新的升级继续其进化过程，重点关注操作方面以及生物舒适度。它一直是一个受欢迎的品种，因为 TBM 飞机已累计飞行超过 260 万小时，回头客占
Mysuru airport runway expansion gains pace, leaders call for encumbrance-free land
迈索尔：迈索尔-科达古议员 Yaduveer Krishnadatta Chamaraja Wadiyar 和 Chamundeshwari 选区 MLA GT Devegowda 敦促官员之间进行密切的部门间协调，以确保迈索尔机场扩建所获得的土地没有产权负担，以便该项目能够尽早完成。他们参加了关于迈索尔发展的会议
Fireside Chat between Zeid Ra’ad Al Hussein and Gilles Michaud
4 月 22 日，IPI 与巴林和瑞士常驻代表团以及联合国安全和安保部 (UNDSS) 合作，在 IPI 主席扎伊德·拉阿德·侯赛因 (Zeid Ra’ad Al Hussein) 和联合国负责安全和安保事务的副秘书长 (USG) 吉尔斯·米肖 (Gilles Michaud) 之间举行了炉边谈话。在谈话中，USG Michaud 回顾了他领导 [...] 的七年任期。侯赛因和吉尔斯·米肖首先出现在国际和平研究所。
主要导航新闻博客中的RSF观看 - 网络研讨会、视频和访谈收听 - 几个问题...每月公告注册我们的时事通讯博客新研究资助已批准2026年4月24日 罗素·塞奇基金会最近批准了其行为科学和情境决策项目中的 29 项研究资助；工作的未来；种族、民族和移民；和社会、政治和经济不平等，及其特别倡议《移民和移民融合以及 2023 年最高法院决定禁止在学院和大学出于教育程度和经济流动性考虑种族意识的招生》的影响。其中两项赠款由纽约卡内基公司以及休利特和威廉·格兰特基金会共同资助。以下是最近的资助清单。请点击每个项目以获取该研究项目的简要描述。背景下的行为科学与决策Tanner Eastmond 和 Ri
特朗普总统攻击全球贸易体系已经过去一年左右的时间了。理查德·鲍德温 (Richard Baldwin) 在《世界大战贸易》（经济政策研究中心，2026 年）中回顾了所发生的事情，并提出了一切的发展方向，这是一篇在线短书形式的长文。正如鲍德温指出的：“……继续阅读世界大战后的贸易战后贸易首次出现在《对话经济学家》上。
Travel agencies urge Mexicana to take Magnicharters routes
本文仅适用于订阅商业航空新闻、运营商和机场数据
Emergency Pedagogical Design: How Programming Instructors Are Scrambling to Adapt to GenAI
ChatGPT 现已公开使用三年多了，生成式 AI 已融入学生每天使用的工具中：网络搜索、文字处理程序、代码编辑器。您可能会认为到目前为止，大多数编程讲师已经弄清楚如何处理它。但是当我和我的合作者去寻找计算讲师时 [...]
