智工具编译 杨京丽编辑 李水青

智工具8月2日新闻，，，今天破晓，，，OpenAI披露下一代模子Astra，，，并宣布其内部版本取得的10项数学与理论盘算机科学新效果，，，涉及高维几何、编码理论、群论、算术电路重大性、量子重大性、格密码学和极值组合学等偏向。。。。

此次宣布的效果集中展示了Astra探索前沿科研问题的能力。。。。相关问题均已开放至少10年，，，且焦点结论恒久没有希望，，，大都问题的研究历史更为悠久。。。。OpenAI借助统一模子将论证整理成249页论文，，，另附一份62页的解题思绪说明。。。。凭证Sol API费率盘算，，，模子寻找这些解法所需的Token总本钱约为2000美元（约合人民币13500元）。。。。

在OpenAI正式宣布这些效果前，，，Astra已经进入美国政策制订者的视野。。。。昨日，，，据The Information报道，，，OpenAI CEO萨姆·奥尔特曼（Sam Altman）本周在美国华盛顿向包括白宫官员、内阁成员和国聚会员在内的政策制订者预览了Astra。。。。

值得注重的是，，，这并非OpenAI首次宣布由AI加入解决数学难题。。。。今年5月，，，OpenAI曾果真一项由AI发明的厄尔多什单位距离意料反例。。。。该效果由一款尚未宣布的模子在评估时代发明，，，并已推动数学与理论盘算机科学领域的多项后续研究。。。。

论文链接：

https://cdn.openai.com/pdf/ten-proofs-oai.pdf

Lean证书链接：

https://github.com/openai/ten-proofs

模子解题思绪：

https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf

一、模子取得10项新效果，，，球体群集指数48年来首次刷新

此次，，，OpenAI宣布的10项效果划分为：

1、高维球体群集：给出新的球体群集密度上界，，，将效果推进至Cohn–Elkies阈值。。。。这是一般球体群集指数自1978年以来的首次刷新。。。。

2、二进制码和球面码：在恣意给定最小距离下，，，对二进制码的最大规模上界实现指数级刷新，，，并在高维球面码中取得类似效果。。。。

3、非sofic群：结构出一个明确的非sofic群，，，推翻“所有可数群都是sofic群”的意料。。。。该问题自2000年前后被正式提出以来，，，一直是群论中的焦点开放问题之一。。。。

4、Connes刚性意料：推翻了一项恒久意料。。。。该意料以为，，，某些群可以由其对应的冯·诺依曼代数唯一确定；；；；；新效果证实，，，差别的群也可能对应统一个冯·诺依曼代数。。。。

5、算术电路重大性：围绕用算术电路和公式盘算积和式给出新的下界，，，其中算术公式下界抵达n?/log n量级。。。。

6、量子并行重复：证实适用于一般双人量子博弈的指数级并行重复定理，，，扩展了经典重大性理论的基础原理。。。。

7、最近向量问题：证实最近向量问题具有多项式因子的近似难题性。。。。该问题是格理论中的基础问题，，，与后量子密码学相关。。。。

8、Ehrhart体积意料：确定内部仅有一个格点、且该格点恰恰位于重心的凸体在恣意维度下所能抵达的最概略积。。。。

9、多色拉姆齐数：给出多色三角形拉姆齐数的超指数下界，，，解决厄尔多什第183号问题。。。。

10、极值数意料：在极值图论的紧致性意料和退化性意料上取得效果，，，解决厄尔多什第146号和第180号问题。。。。

这些效果由其下一代主要模子Astra的内部版本取得，，，寻找所有解法所消耗的Token按Sol API费率盘算约为2000美元（约合人民币13500元）。。。。随后，，，人类研究职员借助统一模子将论证整理成论文，，，再由模子把每项论证转化为Lean形式化证实证书。。。。别的，，，OpenAI还宣布了模子对解题思绪的解说。。。。

二、数学论证由模子天生，，，公司对准确性认真

OpenAI以为，，，AI系统加入数学研究，，，正在带来一系列科技公司无法单独回覆的问题。。。。关于AI应当在数学研究中饰演何种角色，，，现在学界保存差别看法，，，部分数学家也对其影响持审慎态度。。。。

在效果署名方面，，，OpenAI以为，，，若是一项证实完全由AI系统天生，，，却将其署名为人类作者，，，会同时歪曲AI系统的孝顺和人类原创事情的性子。。。。

OpenAI称，，，公司加入了论文整理和Lean形式化验证，，，并对效果的准确性认真，，，但其中的数学论证由AI系统天生。。。。OpenAI希望数学界进一步磨练这些效果，，，将其置于既有研究脉络中，，，并在此基础上开展新的研究。。。。

结语：10项效果凸显下一代模子的科研能力

此次宣布的10项效果，，，集中展示出OpenAI下一代主要模子Astra的科研能力。。。。它不但能够处理已有知识，，，还最先加入探索解法、天生数学论证和形式化验证等科研焦点环节。。。。

相比单项难题突破，，，Astra此次同时在多个恒久开放问题上取得新效果，，，展示出跨研究偏向解决前沿问题的潜力。。。。不过，，，这些效果仍有待数学界进一步磨练和评价。。。。Astra能否将这种能力稳固扩展至科学领域，，，将成为其正式宣布前的一大看点。。。。

泉源：OpenAI

淄博~刀郎~聊斋

1、刀郎新歌引爆流量，，，蒲松龄纪念馆迅速响应刀郎新歌《罗刹海市》灵感源自蒲松龄《聊斋志异》，，，歌曲播放量突破百亿次，，，直接发动公众对聊斋文化的关注。。。。位于淄博的蒲松龄纪念馆虽自5月8日起闭馆修缮，，，但面临粉丝热情，，，于8月4日提前部分开放，，，三天接待游客20953人次。。。。

2、蒲松龄嫡孙蒲章俊约请刀郎旅行位于山东淄博的蒲松龄故宅，，，并妄想赠予《聊斋志异》康熙手本。。。。

3、特意前往淄博蒲松龄故宅探访。。。。此行目的明确，，，旨在与聊斋文化的传承者举行深入交流。。。。

淄博市一季度GDP突破1000亿元,哪些是通俗人可复制的?

通俗人可复制的履历主要集中在优化服务、精准引流、使用政策盈利和无邪谋划等方面，，，详细如下：优化服务体验，，，提升用户粘性细节服务增强口碑：淄博烧烤因“一桌一炉一卷饼”的特色服务模式走红，，，通俗人可借鉴其标准化服务流程（如统一培训服务职员、优化上菜效率）和个性化服务设计（如提供免费小吃、定制化套餐）。。。。

淄博一季度GDP超1000亿元，，，同比增添7%，，，成为山东省经济增添主要引擎。。。。其生长主要得益于以下方面：天下游客支持推动消耗市场活力疫情防控与复工复产时代，，，淄博烧烤成为天下游客关注的焦点。。。。以“小饼烤肉加蘸料”为代表的烧烤三件套广受接待，，，直接拉动外地消耗增添。。。。

济宁市：GDP突破1000亿元，，，抵达10628亿元。。。。

万亿元资金用途：聚焦“两重”与“两新”“两重”项目（8000亿元）：投向能源清静（如西南水电基地）、区域协调（东北老工业基地升级）、芯片制造装备国产化等“卡脖子”领域。。。。例如，，，3000亿元专项支持消耗品以旧换新，，，直接拉动汽车、家电等万亿级消耗市场。。。。

的66%，，，成为拉动天下经济增添的焦点实力。。。。

淄博经济为什么生长得这么好

强盛的工业基础 淄博市的经济生长得益于其强盛的工业基础。。。。该市拥有石油化工、陶瓷、纺织、丝绸、医药、建材、冶金、机电、塑料、电子等35个主要工业门类，，，这些行业在中国以致山东省都占有主要位置。。。。特殊是原油加工量、氧化铝、解热药及中小电机产量，，，均位居中国前线。。。。

淄博之以是生长快速，，，主要归因于以下几个方面的因素：地理位置优越：淄博位于山东中部，，，交通便当，，，拥有蓬勃的公路和铁路网络，，，紧邻口岸，，，利便海上运输。。。。这种优越的地理位置使得淄博能够利便地与外界举行职员和物资交流，，，为经济生长提供了优异的基础设施和便当条件。。。。

工业优势 淄博的工业优势是其富有的一大原因。。。。淄博是老工业都会，，，工业基础雄厚，，，拥有众多古板优势工业，，，如石油化工、陶瓷、纺织等。。。。这些工业经由多年生长，，，已经形成了规模效应和集群效应，，，推动了淄博经济的快速生长。。。。别的，，，淄博还起劲生长新兴工业，，，如电子信息、生物医药等，，，为经济生长注入了新的活力。。。。

工业优势 淄博作为老工业都会，，，拥有蓬勃的制造业基础。。。。近年来，，，淄博的经济生长迅速，，，尤其是在化工、建材、机械制造等领域，，，拥有众多着名企业。。。。这些企业的蓬勃生长，，，为淄博人提供了大宗的就业时机和创业时机，，，从而发动了整体的经济昌盛。。。。商业气氛浓重 淄博人具有浓重的商业意识和创业精神。。。。

实探淄博烧烤:一把串搅动一座城,“爆火”能变“长红”吗?

淄博烧烤的“爆火”具备向“长红”转变的基础，，，但需一连在工业升级、服务优化、文化深耕、人才吸引等方面发力，，，才华实现从流量到留量的跨越。。。。淄博烧烤“爆火”的底层逻辑产品差别化与体验感 淄博烧烤以“小饼+烤炉+蘸料”的“灵魂三件套”形成奇异影象点，，，区别于其他烧烤品类。。。。

淄博,这个都会还能火多久?

不可仅依赖短期爆点，，，而需在较长时间内一连推出新话题。。。。例如长沙通过湖南卫视的《快乐大本营》《天天向上》《我是歌手》等节目恒久坚持话题度，，，后续又依附文和友小龙虾、茶颜悦色等单品一直制造热门，，，形成“快要被遗忘时又重新泛起”的循环模式。。。。

鹤岗和淄博这类小都会“走红”后能一连多久并无牢靠时长，，，取决于都会在生齿、经济、妄想等多方面的转型与生长能力。。。。详细剖析如下：生齿结构：“一高一低”，，，人才外流 鹤岗全市生齿仅有81万，，，生齿流失数目高达28万且仍在上升。。。。

一般是三到六个月，，，建议不要放弃治疗，，，若是不治疗就没有生涯的时机，，，治疗可以延永生命时间。。。。同时也提醒患者，，，要选择准确的治疗要领。。。；；；；；频娜醯闳肥挡簧，，，以是一般不建议选择化疗。。。。

适合家庭或初级爬山者。。。。若包括中途休憩或照相，，，全程耗时约2小时。。。。

山东省公共资源生意典范做法

山东省公共资源生意的典范做法涵盖多个地市，，，通过手艺立异、制度优化和服务升级推动公共资源生意高效、透明、公正生长，，，详细如下：济南市：电子证照全流程应用，，，提升生意便当性济南市依托公共资源生意平台，，，重点推广电子营业执照在生意领域的应用。。。。

0余个“盲审”项目在山东省淄博市政府采购生意系统进场实验生意，，，该市通过强化制度构建、手艺支持和调研提升三个行动打造优异竞争情形。。。。

黄晓军在山东省公共资源生意中心担当党委副书记及副主任职务，，，主要加入中心的治理、党建与营业融合推进以及相关主题活动开展等事情。。。。加入中心治理事情作为山东省公共资源生意中心（山东省政府采购中心）副主任，，，黄晓军在中心的日常运营和治理中施展着主要作用。。。。