【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战:大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题?想参加陶哲轩发起的「众包」数学研究项目吗?机会来了!AI辅助证明数学研究，越来越可行了在传统上，一个数学研究项目通常
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
近日，天鹄科技及其最新发布的对线式蛋白质研发智能体MatwingsVenus™（晓鹄™）荣登东方卫视与上视新闻综合频道头条。该企业作为上海基础研究转化的标杆，通过AI大模型打破传统蛋白质设计困局，实现“大模型+少量实验”高效新范式。MatwingsVenus™支持自然语言交互，自动完成文献查阅、专利检索及序列设计，集成200余个专业工具和50余个技能，依托百亿级蛋白质数据库。此外，平台实现AI设计与机器人实验闭环迭代，推动全球AI蛋白质设计想法落地，展现上海抢占科技制高点的战略成果。
我真没空管你们这些水果蔬菜、厨房用品、酒水饮料的事了。 谁也没想到，在经历了邪恶猫狗的叙事浪潮后，AI短片的新风口是火车上的小推车——啤酒饮料矿泉水，花生瓜子八宝粥，前面的乘客把腿收一收!
联想在2026年4月22日发布ThinkPad新品及天禧AI生态，提出“超级个体”概念，即个体×ThinkPad×天禧AI=超级个体。文章从四个工序解析AI+PC的制造：大脑（天禧AI3.7的端云混合架构）、产线（天津工厂60%自动化率，每9秒下线一台）、神经（iChain供应链智能体覆盖90%部门）、地基（生态级零碳工厂和海神液冷技术）。联想通过自研技术整合算法、芯片、供应链和能耗，让AI+PC成为用户不在时也能工作的“分身”，体现中国创新的另一种形态——工程纪律与产品落地。
易鑫集团（02858.HK）5月12日披露2026年一季度部分业务及未经审核运营报告。在国内乘用车销量承压背景下，公司依托AI驱动的数字化转型实现稳健发展，期内汽车融资交易量达22.6万笔，融资总额196亿元。AI战略从“以模型为中心”升级为“以系统为中心”，代理式人工智能已在业务场景完成多轮迭代，自主驱动流程比例提升至65%。公司构建了“Harness”人工智能治理框架，实现人机毫秒级无缝交接与端到端可追溯、可审查。此前，易鑫在世界互联网大会亚太峰会上宣布，计划于今年下半年开源部分自研AI Infra，以技术普惠助力行业生态共建。
过去买一支电动牙刷，我们可能要搜索、筛选、看参数、翻评价、比价格、凑满减。现在这个复杂的购物过程，压缩成了与AI的一段对话。 5月11日，阿里巴巴宣布千问与淘宝全面打通。以往我们想象过AI电商的样子，如今购物入口、决策方式和交易流程都开始被AI重写。 你可以在千问内完成从找东西、挑东西、下单、付款到查快递的全流程;也可以在淘宝App内点击底部“消息
Moka于2026年5月13日在北京举办产品发布会，将旗下HR SaaS全面升级为Moka AI，推出三位AI“同事”——招聘Eva、人事Eva和BP Eva，以及底层引擎Moka AI Studio。这标志着Moka从工具向智能伙伴的转型，旨在帮助组织应对AI原生时代的挑战。通过AI同事主动推进招聘、人事事务和人才管理，Moka试图将HR从执行者转变为组织架构师，同时实现软件定制化，迎接千企千面的新时代。
近日杭州一位小学一年级家长的吐槽在社交平台上引发了广泛关注。这位家长发现，现在一年级的数学试卷文字量极大，其复杂程度甚至已经可以和语文科目的阅读理解相提并论。 试卷中出现了大量诸如鸟的飞行方向、生活常识背景等各类干扰项。由于题目背景描述过于繁琐，不仅让刚入学的孩子感到吃力，甚至连不少成年人在审题时都会瞬间感到懵圈。 这一观点很快在家�
日前，AI付费登上热搜，起因是部分此前可免费使用的AI功能即将转为收费。 今日，央视对AI助手为何收费、付费后免费服务是否会缩水”等问题进行了报道和解读。 法律问题专家岳屾山表示，有了付费功能后，免费服务会不会缩水？这种焦虑并非杞人忧天，相关企业更应严格遵守法律规范，避免损害用户权益。 他指出，根据民法典的规定，用户和平台之间属于合同关系，�
芯伴科技推出“灵瑞集”AI灵宠系列，以中国瑞兽文化为内核，结合自研角色性格模型与全场景交互技术，打造6款差异化IP角色（辟邪、天禄、九尾狐等），定价169元起。产品搭载4G独立联网模块、长续航与Type-C快充，实现无WiFi秒级响应；配套互动小程序与治愈经营游戏，构建“硬件+软件+内容”生态闭环。该系列旨在将传统瑞兽转化为年轻人专属的“有文化、有温度、可成长”情感陪伴伙伴，降低AI潮玩体验门槛。
快手拟分拆可灵AI独立融资，估值200亿美元剑指明年IPO，其年化营收已破3亿美元，覆盖C端订阅与B端API调用，全球创作者超6000万。网信办发布短视频标注新规，要求平台为AI生成及虚构内容提供六类必选标签，强化存量视频追溯补标，推动产业合规。小米自研大模型MiMo获国际认可，百度发布Ernie5.1预训练成本骤降94%，性能挺进全球Search排行前四。360升级“安全龙虾”平台，10分钟可自建专家智能体；Claude Code推出Agent View统管后台AI任务。宇树科技发布全球首款量产载人变形机甲GD01，起售价390万元。谷歌地图深度集成Gemini，CarPlay导航将进入对话时代。
