标签： GPT-4

alphaXiv 收录的论文提出 Algebraic World Model（AWM），让 AI 在陌生环境中把交互结果整理成可执行的 Python 假设，再转成 Lean 4 形式化模型，从而证明某些目标不可达。这意味着 AI 不只是解题，还能给出覆盖未尝试路径的机器可检验证明。

Higgsfield在社交平台宣布，新用户可在一周内零积分有限次使用Seedance 2.5，并同步开放GPT Image 2.5、Nano Banana Pro、Seedream 5.0 Pro三款图像模型，属于限时拉新活动。

Hugging Face Papers 收录的论文 VibeGame 提出一套框架，能从自然语言提示词（可附带参考图）生成完整 2D 游戏项目。它把一个 AI 原生游戏引擎和由八个专职智能体组成的对抗评审团队结合起来，并在 GameCraft-Bench 子集上报告了优于多种 agent 方案的结果。需要说明…

攻击者用SEO污染把伪造的GitHub页面推上谷歌搜索前列，诱骗想尝鲜GPT-6 Astra、GPT-5.6 Sol和Claude Opus的用户下载“客户端”，实际安装的是名为Yoba的挖矿木马，最终调用XMRig消耗受害者算力和电费。

Y Combinator 旗下实验室与 Olam Labs 合作，把 50 个 GPT-6.1 Sol agent 放进 Minecraft 生存世界跑了 3 小时，观察群体如何自发组织分工、制定规则，以及面对死亡时如何反应，为多智能体对齐研究提供一组实证样本。