OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题，这是AI首次独立攻克领域核心开放难题。然而，约60名顶级数学家与计算机科学家在莱顿大学签署《莱顿人工智能与数学宣言》，担忧AI将数学从公共知识变为商业黑盒。AI的暴力计算、跨领域综合与不间断专注能力，正在重塑数学研究的性质，但也引发了关于真理理解权与学术自主权的深刻讨论。
{ title: "AI巨头罕见联手！呼吁立法筛查合成DNA", summary: "OpenAI的Sam Altman、Anthropic的Dario Amodei和DeepMind的Demis Hassabis等AI领域领军人物，罕见地联合签署公开信，呼吁美国国会立法强制筛查所有合成DN
AI产品Aippy跳出Codex、Claude Code等Agent传统模式，以全新交互体验在海外迅速走红。目前MAU近200万，全球下载超300万，刚完成首轮融资，投后估值2.5亿美元，成为垂类赛道新独角兽。本文解析其创新之处与行业影响。
谷歌母公司Alphabet旗下生命科学部门Verily，计划在2026年5月底前向美国佛罗里达和加利福尼亚州放飞3200万只被沃尔巴克氏体感染的雄性蚊子。这些蚊子通过自然交配使雌蚊无法产卵，从而抑制种群。该项目已向EPA提交实验使用许可，旨在替代化学杀虫剂，减少疾病传播。这种生物防治方法结合了AI自动化培育与释放技术，成本更低且环境友好。如果成功，可能为全球蚊媒疾病防控提供新范式。
{ title: "AI抗体模型性能飙升百倍，辉瑞礼来争相合作", summary: "AI制药公司Chai Discovery推出新一代抗体设计模型Chai-3，性能较前代提升100倍，在抗体-抗原结合预测任务上取得突破性进展。该公司先后与礼来、辉瑞达成合作协议，辉瑞获得Chai-3优先访
OpenAI与Thrive Holdings联合推出AI报税系统Tax AI，在未重新训练模型或重写代码的情况下，系统通过自我改进机制，六周内将字段准确率从25%提升至86%，最高达97%。该系统已处理7000份税表，产能提升约50%，会计师工作时间从180小时降至15小时。这一突破标志着AI进入自我进化时代，OpenAI通过Codex自动修复bug、生成测试报告，实现生产环境中的持续优化。
{ title: "腾讯虾友会上线，AI大佬也成LV1小芯肝", summary: "腾讯悄然推出智能体社区“虾友会”，定位为AI产品用户的聚集地。该平台尚未正式推广，但已吸引众多技术大咖入驻，即便是行业大佬也需从LV1“小芯肝”等级起步。社区通过等级体系鼓励用户参与AI应用开发与分享，旨在
Boson AI与SGLang-Omni团队宣布，SGLang-Omni已实现对Higgs Audio v3 TTS的端到端Serving支持。该模型由李沐与Alex Smola创立的Boson AI开发，专为实时、可控的语音智能体设计。v3版本在延迟、自然度和控制精度上显著提升，支持音色、语速、情感等多维度调节。这一合作将加速语音AI在客服、虚拟助手、有声内容等场景的落地，为开发者提供高性能、低成本的TTS服务。
{ title: "瑞典AI编程新星Lovable估值飙至120亿美元", summary: "瑞典AI编程初创公司Lovable据传正以120亿美元估值洽谈新一轮融资，较去年12月的66亿美元近乎翻倍。该公司专注于“氛围编程”领域，利用AI技术辅助开发者编写代码，提升效率。此轮融资若完成，
据彭博社报道，美国总统特朗普在空军一号上透露，计划让美国政府持有领先AI公司的股权，并最早下周与AI高管讨论合作。他提出将部分股份赠予美国公众，建立“公私伙伴关系”。此举若成，将重塑全球AI竞争格局，涉及OpenAI等头部企业，引发行业对技术主权、资本流向和监管走向的广泛关注。
上海初创公司基元律动推出开源Agent Harness框架OpenSquilla，在Agent应用与模型间构建运行中枢，旨在解决AI Agent开发中token消耗过高、效率低下的痛点。项目上线GitHub后迅速获得社区关注，公司成立仅数月即完成首轮融资，估值达1亿美元。该框架通过优化任务调度与模型调用，可将token消耗降低30%以上，为AI开发者提供更经济的Agent构建方案。
京东首次开源长音视频生成框架JoyAI-Echo，直击角色一致性、声音稳定性和生成速度三大痛点。评测显示，其在跨镜头一致性、语音准确率和用户偏好等指标上超越行业标杆，跻身全球第一梯队。该框架支持5分钟内生成叙事角色不崩、声音不乱的高质量长视频，为AI视频创作提供了高效、稳定的开源解决方案。
{ title: "HTML版剪映开源：OpenDesign团队发布html-video", summary: "OpenDesign团队（nexu.io）开源了名为html-video的项目，号称HTML版本的剪映。该项目基于hyperframes框架构建，采用Apache 2.0许可证，
6月5日，百型智能发布第三代企业级AI基础设施OntoZ，摒弃传统SaaS与孤立智能体模式，基于企业本体构建动态自迭代的群智能体协同体系。该产品旨在为企业提供自主进化的数字生产力底座，实现从辅助工具到自主赚钱引擎的跨越，引发行业对国产AI企业级应用的重新审视。
蔚蓝科技推出BabyAlpha A3机器狗，搭载六颗国产芯片异构计算集群，端侧运行70亿参数大模型，感知系统全面升级。该产品首次将高算力机器人价格压入家庭可接受区间，标志着智能机器人从工业场景向家庭场景的跨越。其非人形设计反而更具实用性，引发行业对家庭机器人形态的新思考。
YouTube大神Sharbel分享了10个关键操作，将Hermes从被动聊天工具转变为全天候主动工作的AI助手。这些技巧包括任务自动化、上下文记忆优化和触发机制设置，理论上只要token充足，Hermes即可实现7×24小时不间断运行。文章详细拆解了每个操作的核心原理和实际效果，为AI从业者提供了可落地的自动化工作流方案。
{ title: Coralogix融资2亿美元，AI Agent监控成新风口, summary: Coralogix完成2亿美元融资，估值达16亿美元，营收年增超60%。这家专注于AI Agent监测的初创公司，押注自主化软件系统将催生新一代监控工具需求。融资将用于扩展产品线，应对AI A
{ title: "欧拉万象再获亿元融资，用“可养成”范式重塑家庭具身智能", summary: "欧拉万象在三个月内完成第三轮天使轮融资，累计金额超亿元，投资方包括产业资本、慕华科创、百度风投等。公司提出“可养成”范式，通过构建物理世界数据闭环，解决家庭场景下具身智能的数据稀缺与泛化难题。
{ title: "北大发布自进化5D世界模型，场景万物可控", summary: "北京大学EvoPhys团队推出全球首个以人为中心的5D世界模型EvoPhys-World，基于摩尔线程全国产算力底座，实现场景级万物可控。该模型突破传统AI生成世界的局限，从可观看、可漫游的浅交互阶段，进入
{ "title": "联发科进军云端AI，20亿美元营收启航", "summary": "联发科在Computex 2026上展示云端AI基础设施完整布局，涵盖ASIC、硅光子互连和先进封装。首个AI加速器ASIC项目进入量产，预计2026年贡献约20亿美元营收，2027年有望攀升至数十亿
技术论坛