1
不等 R 星了，独立开发者用 AI 自制《GTA6》
不等R星三年，独立创业者用AI自建《GTA6》，开局就是整活大挑战
IT之家 6 月 21 日消息，一款电子游戏要让玩家等上十三年，实在太过漫长，漫长到有人索性自己做。 25 岁的徐子文（Ziwen Xu，音译）是人工智能智能体初创公司 HyperEcho 的创始人，他在 X 平台发文，正式启动了这个自制项目。他写道：“自制《GTA6》，开工第一天。打出这句话时我依…
2
Matrix-Decoupled Concentration for Autoregressive Sequences: Dimension-Free Guarantees for Sparse Long-Context Rewards
自回归序列的矩阵解耦集中不等式，为稀疏长上下文奖励提供无维度保证，理论创新突破。
arXiv:2605.06017v2 Announce Type: replace Abstract: Sequence-level evaluations in autoregressive Large Language Models (LLMs) rely on highly dependent…
3
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
提出用LLM生成猜想并转化为Lean形式化验证，基于平方和证书实现自动多项式不等式证明，开辟数学推理新路径。
arXiv:2605.15445v1 Announce Type: new Abstract: Automated proving of polynomial inequalities is a fundamental challenge in automated mathematical reas…