比特网早报：全国首个绿色算力全栈AI平台上线，OpenAI称使用AI攻克“80岁”数学难题

  2026年6月1日消息，昨夜今晨，科技圈都发生了哪些大事？行业大咖抛出了哪些新的观点？比特网为您带来值得关注的科技资讯：

  全国首个绿色算力全栈AI平台在呼和浩特正式上线

  5月30日消息，全国首个绿色算力全栈AI平台在内蒙古自贸试验区呼和浩特片区正式上线运行，填补了区域一站式算力模型词元综合服务交易的空白。当前，全国一体化算力网建设加速推进，人工智能产业蓬勃发展，词元调用需求持续增长。此次上线的绿色算力全栈AI平台，集成算力调度交易、智能模型调用、词元交易结算等一站式核心功能，构建起“算力输出―模型调用―应用落地―词元结算”的全链条AI服务体系，可全面服务各级政府、科研机构等各类市场主体。平台全面兼容国产芯片与主流算力架构，首批接入三大通信运营商及头部科技厂商的十余款主流模型。根据用户需求，平台可整合全国接入节点的通算、智算、超算等多元算力资源，通过智能调度算法实现算力资源的弹性分配、高效调度、经济供给，为用户提供便捷易用、低碳绿色、质优价宜的词元(Token)交易服务。 (央视新闻)

  平台搭建完整 AI 服务链条，兼容国产技术，整合多元算力并智能调度，兼具绿色低碳、高效经济的优势，将有力赋能政企、科研机构发展，也为全国一体化算力网建设提供了优秀实践样本。

  OpenAI称使用AI攻克“80岁”数学难题

  OpenAI近日声称，其人工智能(AI)推理能力再次取得重大进展，成功攻克了一个困扰数学界80年的难题――匈牙利数学家保罗・埃尔德什(Paul Erdős)于1946年提出的“平面单位距离问题”。埃尔德什提出的问题是：如果你在一张纸上画出若干个点，那么有多少对点之间的距离可以恰好相同(具体来说是相距1个单位)？埃尔德什证明：如果把这些点按网格排列，可以得到相当多的单位距离点对。随后他猜想，没有任何其他排列方式能比网格好太多。几十年来，人们都试图证明这个猜想是正确的。然而，OpenAI的模型得出了不同的结论，指出有排列方式比埃尔德什预测的“上界”(不会超过的最大范围)更优。这意味着，它不是证明了猜想，而是推翻了猜想。OpenAI的研究团队指出，模型给出的解决方案极其反直觉，过去大多数数学家都默认埃尔德什的猜想是正确的，因此他们一直在寻找证明。而AI没有这种心理包袱，它会尝试大量看似荒谬的方向，最终正是在这些尝试中发现了突破口。(澎湃新闻)

  Meta计划今年下半年售出1000万台可穿戴设备

  据报道，Meta计划通过推出新品、拓展销售市场等举措在今年下半年售出1000万台可穿戴设备，目标年底实现可穿戴设备月活跃用户达680万人。另外，Meta计划明年启动一款人工智能吊坠的测试工作。(界面新闻)

  软银承诺斥资750亿欧元在法国建设人工智能设施

  软银承诺最高投入750亿欧元，在法国打造大型人工智能计算集群网络，该项目将成为欧洲规模最大的数据中心工程。这也是软银在美国以外完成的单笔最大规模人工智能投资。知情人士称，今年4月初法国总统马克龙与孙正义在东京共进晚餐后，双方迅速敲定了此项合作。软银首期将牵头投入450亿欧元，计划到2031年在上法兰西大区建成3.1吉瓦的算力规模，后续还规划新增2吉瓦算力。(新浪财经)

  前4个月我国软件业务收入46686亿元，同比增长10.9%

  据工信部数据，前4个月，我国软件业务收入46686亿元，同比增长10.9%。软件业利润总额5304亿元，同比增长2.2%。软件业务出口206.5亿美元，同比增长13.0%。(36氪)

  智元机器人合伙人姚卯青：今年上半年智元海外收入占比已近20%

  在BEYOND Expo 2026上，智元机器人合伙人、具身业务部总裁姚卯青采访中透露，未来海外收入将成为公司业绩的很大一块。去年全年海外收入贡献占比不到10%。今年上半年的话，这个数字已经接近20%。其中，北美、欧洲、日韩是公司计划未来进行大规模突破的市场。(财联社)

  40余款AI大模型集中亮相2026世界智能产业博览会

  正在天津举行的2026世界智能产业博览会上，“AI大模型对话”“生成式AI演示”“AI智能体应用”是本届展会上的关注热点。博览会上还展示了语言大模型、视觉大模型、基础科学大模型等40余款大模型，广泛应用在搜索引擎、智能体以及基础科学等领域。与以往不同的是，本届智博会大模型从以前的能力展示真正迈向了产业应用。(央视新闻)

  霍尼韦尔旗下量子计算公司 Quantinuum 拟扩大IPO规模

  据报道，霍尼韦尔旗下量子计算公司Quantinuum考虑扩大IPO规模。据悉，该公司拟增加发行股份数量，并将发行价区间提高约10%，可能会使其目标融资额增加数亿美元。(新浪财经)

来源：比特网