AI数学新创公司破解四大未解难题
新兴AI初创公司Axiom宣称，其AI系统成功解决了四个长期困扰数学家的未解难题。这一突破标志着AI推理能力稳步提升，从简单证明到复杂问题求解，AI正逐步挑战人类数学巅峰。Axiom的成就源于先进的神经网络与形式化验证结合，引发业界对AI在
海外精选
AI中最被误解的图表
MIT Technology Review解析：每次OpenAI、Google或Anthropic发布前沿大语言模型，AI社区都屏息以待，直到METR给出评估结果。这个图表被视为AI进展的风向标，却饱受误解。它并非显示scaling定律失效
好莱坞观众流失：AI疲劳症席卷娱乐圈
过去一年，好莱坞推出的关于人工智能或由AI辅助创作的娱乐内容频频扑街，观众对AI主题产生疲劳，导致票房和收视率双双下滑。文章分析了这一现象背后的原因，包括内容同质化、叙事乏力以及技术局限性。尽管AI工具如生成式模型在好莱坞广泛应用，但过度炒
微软揭秘：无需触发器即可检测AI潜伏后门
微软研究员推出创新扫描方法，可在不知触发器或预期结果的情况下识别中毒AI模型。针对开放权重大语言模型的供应链漏洞，独特内存泄漏和注意力模式暴露'潜伏特工'威胁。这些后门模型在激活前保持休眠，潜在风险巨大。该技术为企业集成开源LLM提供安全保
ICE与CBP人脸识别App无法真正验证身份
据WIRED报道，美国移民与海关执法局（ICE）和海关与边境保护局（CBP）的人脸识别应用Mobile Fortify已被用于识别超过10万名移民和公民，但该工具并非为此设计，仅能进行面部匹配而非身份验证。美国国土安全部（DHS）在放弃自身
AI如何破解罕见病治疗劳动力瓶颈
在卡塔尔网络峰会上，多家AI驱动的生物科技初创公司分享了如何通过自动化、数据分析和基因编辑技术，填补药物发现与罕见病治疗中的劳动力缺口。罕见病影响全球数亿人，但由于患者基数小、研究人力不足，治疗开发长期滞后。AI正重塑这一领域：自动化筛选化
马斯克合并SpaceX与xAI：其‘全能’帝国能走多远？
埃隆·马斯克宣布合并SpaceX与xAI，打造硅谷新型权力结构蓝图。其8000亿美元净资产已媲美历史巨头GE巅峰市值，马斯克坚信‘科技胜利取决于创新速度’。这不仅仅是企业重组，更是个人财团崛起的信号。SpaceX主导太空探索，xAI推动AI
纽约州议员提出一项法案：建议新建数据中心暂缓三年
纽约州议员提出一项法案，建议暂停新建数据中心三年，以评估其对电网和环境的影响。尽管该法案前景不明朗，但纽约已成为至少第六个考虑此类措施的州。这一提案源于AI热潮下数据中心爆炸式增长带来的能源压力和可持续性担忧，反映了美国多地对科技基础设施扩
Salesforce重磅推出Slackbot AI代理，与微软谷歌激战职场AI
Salesforce周二推出全新重建的Slackbot职场助手，从简单通知工具升级为强大AI代理，能搜索企业数据、起草文档并代表员工执行任务。该功能现对Business+和Enterprise+客户开放，是Salesforce将Slack打
Listen Labs病毒广告牌招聘噱头吸金6900万美元 扩展AI客户访谈
Listen Labs创始人Alfred Wahlforss面临AI人才荒，在旧金山竖起一张看似乱码的广告牌，实为AI令牌编码挑战：为柏林传奇夜店Berghain打造数字门卫算法。此举仅花5000美元，却病毒式传播，吸引海量工程师，最终助力
Railway获1亿美元B轮融资 携AI原生云挑战AWS
总部位于旧金山的云平台Railway无需任何营销支出，便悄然吸引了200万开发者。周四，该公司宣布完成1亿美元B轮融资，由TQ Ventures领投，FPV Ventures、Redpoint和Unusual Ventures参投。随着AI
科技下载：AI追踪难题与新一代核能
本期《下载》聚焦AI领域最被误解的图表：每次OpenAI、Google或Anthropic发布前沿大语言模型，AI社区屏息以待，直到METR给出评估结果。该图表揭示了AI能力指数级增长的真相，却常被误读。同时，探讨下一代核能技术，如小型模块
iPaaS：AI时代系统整合的核心利器
数十年来，企业为应对商业压力不断采用临时技术方案：云服务实现弹性扩展，移动App紧跟智能手机浪潮，IoT提供实时工厂洞察。如今，AI浪潮席卷而来，企业亟需整合碎片化系统以释放AI潜力。iPaaS（集成平台即服务）应运而生，通过无代码集成云端
硅谷忠诚度已死：高薪挖角成新常态
硅谷曾经是创始人与公司生死与共的圣地，但如今忠诚已成过去式。任何人都可能被合适的价格诱惑跳槽。从乔布斯时代到AI热潮，科技创业生态剧变。高薪包、股权激励和快速迭代的项目，让人才流动性空前高涨。这不仅重塑了行业规则，也考验着初创企业的生存之道
SuperCool评测：AI自主创作的真实边界
在生成式AI领域，助手工具已趋饱和，用户常陷于提示生成草稿后手动编辑的循环。SuperCool承诺实现真正自主创作，从输入简单指令到自动格式化、设计并分发的全流程自动化。本文深度评测其实际表现，揭示AI从‘助手’向‘独立创作者’转型的现实挑
分离逻辑与搜索：AI代理可扩展性的关键突破
将逻辑与推理分离，能显著提升AI代理的可扩展性，通过解耦核心工作流与执行策略，实现更可靠的生产级部署。从生成式AI原型向生产级代理转型的最大挑战在于可靠性：LLM本质上随机性强，一次成功的提示可能下次失效。为此，开发团队常对核心业务逻辑进行
科技日报：癌愈者重获生育希望，孟加拉服装业绿色转型
本期《科技日报》聚焦两大前沿议题：一种实验性手术正帮助肠癌和直肠癌幸存者克服治疗副作用，实现生育梦想。辐射和化疗虽有效抗癌，却常损伤生殖系统，此创新手术为患者带来新曙光。同时，孟加拉服装业正通过科技与政策双管齐下，清理环境污染、改善劳工条件
阻挡人类与AI末日之间唯一的屏障，竟是……Claude？
随着AI系统日益强大，Anthropic公司的驻厂哲学家表示，该初创企业正押注Claude模型本身能够习得避免灾难所需的智慧。这篇文章探讨了AI安全领域的最新进展，Anthropic如何通过独特的方法应对存在风险（x-risk），并质疑Cl
纽约州成最新考虑暂停数据中心建设的州
最近数周，红蓝州纷纷推出立法提案，暂停数据中心开发，担忧焦点从气候变化到高企能源价格。纽约州紧随其后，成为最新加入者。随着AI热潮推动数据中心需求激增，这些巨型设施的能耗已成电网与环境的双重负担。提案旨在评估影响，推动可持续基础设施建设，但
AI代理社交网络Moltbook泄露真实人类数据
专为AI代理打造的社交平台Moltbook因安全漏洞暴露了数百万真实人类用户数据，引发隐私危机。此外，苹果Lockdown模式成功阻挡FBI访问记者手机，埃隆·马斯克的Starlink切断俄罗斯军队通信，还有更多AI安全热点。本文深度剖析事