AI资讯OpenAI次世代模型“Astra”解决了10个数学未解难题
美国OpenAI于8月1日宣布，其最新一代AI模型“Astra”成功解决或在数学及理论计算机科学领域的10个长期未解难题上取得重大进展。继今年5月AI反驳了埃尔德什的单位距离猜想后，Astra再次在数学领域展现出突破性成果。 据悉，Astra在解决这些问题时所消耗的计算资源，按ChatGPT-5.6 Sol的API费用计算约为2000美元（约合31万元人民币）。AI生成的证明经过同一模型辅助，由
#科研创新
按标签聚合查看文章内容。
AI资讯
AI教程GPT‑5.5 发布：更聪明、更懂你的新一代工作伙伴
99%的人还在把大模型当“高级搜索”，却没意识到：GPT‑5.5 已经开始接管整条工作流，而不只是回你几段文字。它能自己规划、自己查资料、自己写代码、自己点鼠标，你只丢给它一个“烂摊子”任务，就能看它一步步收尾。这种变化，正在悄悄改写很多人的工作方式。 GPT‑5.5 有什么不一样？ 更强的整体任务执行能力 GPT‑5.5 是目前这一代中最聪明、也最“好用”的模型之一。它理解意图的速度更快，不再需
AI资讯月宫创始人预测人工智能将主导未来科研
人工智能正从人类助手转变为科研领导者，未来的竞争将聚焦于计算力与创新的深度融合，每位研究者都将拥有数字化“孪生体”。