【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。40多年的计算
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
Vibe 旗下的编码公司 Lovable 宣布，部署了 Claude 4 之后，其代码错误减少了 25%，速度提高了 40%……
微软首席技术官凯文·斯科特（Kevin Scott）曾表示，预计到 2030 年，将有 95% 的代码是由 AI 生成的……
特斯拉在美国为Model Y推出"加速增强"升级服务，售价2000美元（约14467元人民币）。该服务通过软件升级提升100马力动力，使0-96公里/小时加速时间从4.6秒缩短至4.2秒。类似服务去年11月曾在中国市场推出，Model 3升级后加速提升0.6秒至3.8秒。这种通过软件解锁性能的模式已成特斯拉特色，但实际提升效果对普通用户意义有限，更适合追求极致性能的车主。特斯拉未公布具体升级数据，实际购买人数仍是谜团。
OpenAI于5月19日正式推出基于Codex-1模型的云端AI编程智能体Codex。该工具具备强大的代码生成与理解能力，支持Python、JavaScript、C等主流语言，覆盖前后端开发、算法实现等多个领域。测试显示其处理常规编程任务的速度远超人工，代码准确率达90%以上，能显著提升开发效率。Codex深度集成GitHub，支持智能代码补全和结构化代码自动生成，使开发者平均编码时间缩短30%。目前该服务已面向ChatGPT+Pro等高级用户开放，未来有望成为软件开发领域的标配工具，推动AI辅助编程进入新阶段。
九号公司2024年业绩亮眼：全年营收141.96亿元（同比+38.87%），归母净利润10.84亿元（同比+81.29%）。核心业务全线爆发，智能电动两轮车销量260万台（营收72.11亿，同比+70.38%），累计出货量突破600万台，成为行业最快达成此目标的品牌。创新产品矩阵表现突出：智能割草机器人Navimow覆盖全球10万家庭，电动滑板车全球销量第一（124.31万台），全地形车年销2.38万台创纪录。研发投入持续加码，专利达3593项，并率先完成大模型技术接入。公司通过"真智能"产品战略和多渠道布局（门店超7600家），构建起技术壁垒与规模优势，推动业绩持续高增长。
近日，体育界一则重磅消息引发广泛讨论:篮球传奇人物迈克尔·乔丹以解说员的身份重新回归大众视野，且年薪高达4000万美元。 乔丹在篮球领域的成就堪称传奇，他职业生涯中六次夺得NBA总冠军，六次荣膺总决赛最有价值球员，五次当选常规赛最有价值球员，其精湛的球技、顽强的斗志和独特的领袖气质，让无数球迷为之倾倒。即便退役多年，他在篮球界的影响力依旧深�
远东控股集团举办40周年庆典暨企业家论坛，聚焦智能缆网、智能电池、智慧机场三大核心业务。集团执行主席蒋承志强调上市公司为投资者创造价值的责任，并介绍公司通过技术壁垒构建、全球化布局及ESG赋能实现股东价值最大化的战略。远东在ESG方面表现突出，获评首批"国家级绿色工厂"，原材料回收利用率达72.43%，2024年通过节能改造减少碳排放3084吨。公司还积极履行社会责任，连续多年举办全国身障人五创高峰论坛，身障员工占比达14%。在国际化方面，远东稳步推进海外拓展战略，深化与区域优秀企业合作，顺应国家战略布局，在东南亚等重点区域持续发力。
前4月问界M9累计销量36439辆，累计同比增长41.19%。
此前，@彩虹夫妇 曾发布停播声明，称自己5年内直播带货超过1000场，每场直播平均时长都在8小时以上，且每天都有写不完的文案，拍不完的视频，身体早已透支。再加之其他原因，决定停下脚步静心思考下未来的路，看如何能在粉丝满意的前提下，把工作做得更好。 声明发布后，其主账号自4月16日起未再开启带货直播，仅以“聊天局”形式短暂露面，直至5月15日回归。期间�
一加中国区总裁李杰展示了一加Ace 5至臻版的续航表现，使用14小时16分钟后电量剩余40%。该机搭载联发科天玑9400+平台，采用第二代全大核架构，配备第八代AI处理器NPU 890，CPU由1颗3.73GHz Cortex-X925、3颗X4和4颗A720组成，GPU为12核Immortalis-G925。新机引入1% Low帧率指标，提升游戏关键时刻流畅度，李杰强调这是衡量游戏体验的重要标准。预计电池容量不低于6000mAh，可能突破7000mAh。一加Ace 5至臻版将于本月发布，主打游戏性能和续航表现。
