For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry
新研究发现ChatGPT-5.2可以生成原始数学证明，引入“vibe-proving”作为一种新的人工智能推理方法。人工智能加速了发现，但人工验证仍然是必要的。 VUB 数据分析实验室的研究人员报告称，商业语言模型可以产生原始的数学证明。在他们的研究中，团队表明 OpenAI 的大型语言模型 ChatGPT-5.2 (Thinking) [...]
Leucocoprinusroseus W. Akram, Saba & Asif, in Akram, Saba, Asif, Nawaz, F. Ullah, Samen, Maula et M. Ullah, 2026. DOI: doi.org/10.1002/njb.05015 摘要在本文中，我们描述了一种新的真菌物种，Leucocoprinusroseus，收集于曼迪区运河景观公园巴哈丁，旁遮普邦，巴基斯坦。基于详细的形态学观察和使用核核糖体 DNA 内转录间隔区 (nrITS) 序列的分子系统发育分析，该物种被提议为新物种。在系统发育重建中，玫瑰乳杆菌形成了一个与相关类群明显分离
Alpheopsis gorei Anker，2026Papéis Avulsos De Zoologia。 66； revistas.usp.br/PAZ 摄影：Sarah Tweedt。摘要 一种新的中光白斑虾 Alpheopsis gorei sp.。 11 月，描述于墨西哥湾北部和东北部德克萨斯州、路易斯安那州和佛罗里达州西部附近的几个近海地区。然而，新物种的分布范围延伸至佛罗里达州的大西洋海岸，之前的记录来自基拉戈岛附近的深水珊瑚礁，记录为 A. trispinosa Stimpson，1860 年。十一月高度为 42.1-126.2 m，该物种似乎是自由生活的，主要生活在珊瑚结核和
本周科学播客有哪些内容？本周：热门植物、布莱尔的动物 Oopsie、听起来不错、无限克隆、雄性果蝇调情、鸭嘴兽、老鼠视觉的控制因素以及更多科学知识！成为赞助人！在 YouTube 或 Twitch 上查看我们播客的完整未编辑剧集。请记住，您可以 [...]2026 年 3 月 25 日的帖子 – 第 1052 集 – 科学神话被拔除！首先出现在《本周科学》——《牛逼的科学播客》中。
𝘈𝘮𝘰𝘳𝘱𝘩𝘰𝘱𝘩𝘢𝘭𝘭𝘶𝘴 𝘤𝘢𝘭𝘭𝘢𝘥𝘰𝘪: a new herbaceous plant species from the Philippines (2026)
魔芋。 （照片：John Rey Callado）2026 年 2 月，Rene Alfred Anton B. Bustamante、Maverick N. Tamayo、John Paul Collantes 和 Pieter B. Pelser 在《Phytotaxa》杂志上发表了菲律宾草本植物新特有种 Amorphophallus calladoi 的描述。 𝘼𝙢𝙤𝙧𝙥𝙝𝙤𝙥𝙝𝙖𝙡𝙡𝙪𝙨 𝙘𝙖𝙡𝙡𝙖𝙙𝙤𝙞（天南星科）分布/栖息地：吕宋岛的极光和新怡诗夏 [...]
India's Tara Aviation secures NSOP with Falcon 2000
本文仅适用于订阅商业航空新闻、运营商和机场数据
29 日星期日，在兰吉奥拉的五架德哈维兰飞机（加上一架哈佛）队列的末尾是 Maule M5-210C 月球火箭 ZK-SLS c/n 6188C。这架飞机也在等待层云基地的升起。它从阿德莫尔经旺格努伊和凯库拉抵达。这架飞机作为 N434X 首次来到新西兰，并在奥克兰航空俱乐部组装用于 C来自怀蒂昂格 (Whitianga) 的 B Sheldon 于 1977 年 2 月 8 日在这里注册为 ZK-SLS。七年后，罗宾逊在北坎特伯雷罗瑟勒姆的棕榈山 (Robinson's)，从 2005 年 6 月起，又到了哈利·德文尼什 (Harry Devonish)，总部设在兰吉奥拉 (Rangiora
Cato Expert: Pentagon’s Anthropic Designation Raises More Than Procurement Concerns
昨天，加州北区法官 Rita F. Lin 听取了有关针对政府将 Anthropic 指定为供应链风险而发布初步禁令的争论。听证会结束后，卡托研究所技术政策高级研究员 Jennifer Huddleston 发表了以下声明： 尽管关于人工智能技术可能被滥用于国内监视和自主致命武器的潜在争论值得进一步讨论，但昨天的听证会表明，五角大楼采取的行动引起了重大的原则和政策担忧，甚至与这些问题无关，而且远远不仅仅是采购纠纷。从听证会上可以清楚地看出，法院对政府的辩护表示怀疑，并认识到政府行动的严重性，将美国领先的人工智能公司之一贴上了供应链风险的标签。初步禁令可能会阻止供应链风险指定的更极端影响，但不会
Cato Expert: Letting Section 702 Expire Would Force Real Surveillance Reform
由于 FISA 将于 4 月底到期，国会议员正在努力重新授权该监控计划。卡托研究所国土安全和公民自由高级研究员帕特·爱丁顿 (Pat Eddington) 最近发表的一篇专栏文章详细介绍了当前计划的问题，并讨论了为什么让该计划到期将允许对该计划进行真正的改革，其中部分写道：“如果第 702 条到期一段时间，这不会是 FISA 的终结。但这将迫使国会对其滥用行为进行急需的清算，并为国会提供时间商定一项法案，以阻止这种情况的发生。”如果行政部门抵制此类改革，这种抵制本身就说明了这一点：也许当前的系统更多地依赖于持续可用的全面监视权力，而不是合法的情报需求。”，要与爱丁顿讨论 FISA 计划，请联系
Stavne Stave: Popoln Vodič za Učinkovito Stavitev
内容 体育博彩基础知识 博彩类别及其特点 成功投注的策略 赔率和赔率知识 资金管理 体育博彩基础知识 博彩是一种生动的休闲活动形式，将比赛的刺激性与测试个人知识和研究能力的选择结合起来。在我们的平台上，您可以参加各种体育赛事，在那里您有机会测试您的预测技能。分析显示，由于全球博彩市场每年达到 2030 亿美元，这……继续阅读“Stavne Stave：有效博彩完整指南”
Zumo Bet Casino: Jouw Ongeëvenaarde Gaming Locatie in Holland
Inhoud Een Unieke Spelervaring op Onze Site Onze Uitgebreide Spelaanbod Veilige en Snelle Transacties Gaming Onderweg Persoonlijke Hulp De Exclusieve Speelbeleving bij Onze Site 我们将 zumocasino.com.nl 定位为 toonaangevend speelplatform 是 vermaak en veiligheid 种子来。该赌场向公众开放，可以进行在线游戏，该游戏不断创新并提供最佳性能。是枪骑兵赫本，
В Cisco усиливают киберзащиту в эпоху ИИ-агентов
Duo Agentic Identity、新的 AI 防御功能、OpenShell 和 OpenClaw 代理环境的保护将使您能够管理企业环境中 AI 代理的安全性。
Engineers integrate water survival drills into initial entry training
密苏里州伦纳德伍德堡 — 士兵接受训练成为 [12C 桥梁船员](https://www.goarmy.com/careers-and-jobs/mechanics-engineering/design-develop/1...
AI and National Security: Who's Really in Control?
人工智能与国家安全：谁才是真正的控制者？ 2026 年 4 月 20 日 — 下午 6:00 至晚上 7:15 匿名（未经验证）2026 年 3 月 23 日查塔姆研究所和在线专家讨论谁控制人工智能以及谁控制人工智能。国际安全计划召集了一个专家小组来讨论谁控制人工智能以及谁控制人工智能？今年早些时候，当美国政府将 Anthropic 指定为国家安全威胁时（这一标签以前是为外国对手保留的），它暴露了多年来一直在构建的断层线：谁控制人工智能人工智能，以及以谁的条件？该小组汇集了来自研究、新闻、军事和工业界的声音，研究当国家安全受到威胁时，谁真正控制着人工智能，以及答案对民主、全球秩序和世界安全意味
The AI Hype Index: AI goes to war
人工智能正处于战争状态。 Anthropic 和五角大楼在如何将 Anthropic 的人工智能模型 Claude 武器化的问题上发生了争执；然后，OpenAI 通过一项“机会主义且草率”的交易让五角大楼大吃一惊。用户成群结队地退出 ChatGPT。人们在伦敦游行，这是迄今为止最大规模的反对人工智能的抗议活动。如果你要记分的话，Anthropic——该公司创立了……
Upcoming Journal Special Issues
IEEE Transactions on Evolutionary Computation：关于学习辅助群体智能和进化计算的特刊：理论、算法和应用提交截止日期：2026年3月31日IEEE Transactions on Evolutionary Computation：关于进化计算满足组合优化机器学习的特刊提交截止日期：2026年9月1日IEEE Transactions on Emerging Topics in Computational Intelligence：计算智能资源受限环境中的高效深度学习特刊提交截止日期：2026年7月31日IEEE Transactions on Cogn
Price growth set to almost double yet interest rate hike uncertain
经济学家表示，价格涨幅可能在几个月内跃升至 5%，这使得利率前景更加不确定。 Top City 经济学家表示，他们预计通胀率将升至中东战争爆发前的近一倍，这使得英国央行 [...]
食品部长桑吉夫·乔普拉 (Sanjeev Chopra) 表示，通过口粮商店供应的碎米份额将从目前的 25% 减少到 10%
