国产初创公司 Pndbotics 打造的智能人形机器人：Adam，采用模块化、标准化和集成化的设计理念。Pndbotics 致力于通过先进的技术架构，为人形机器人赋予更高的灵活性与开发潜力。Adam 的系统集成了最前沿的深度强化学习（DRL）和模仿学习算法，并支持开发者利用 NVIDIA Isaac Gym 进行高效的并行 DRL 训练，从而快速开发出个性化的智能算法。
目前，Adam 系列推出了两款型号：Adam Lite 和 Adam SP。
Adam Lite
Adam SP
Pndbotics 官网：https://www.pndbotics.com/
OpenAI 旗下 GPT-5.6 Sol Ultra 通过 64 路并行 agent 在 1 小时内生成了图论 CDC 猜想的证明文本，成本不足 500 美元。该成果引发争议，因缺乏 Lean 机械化验证、未公开完整推理轨迹及受限于图论形式化库不成熟，数学界对其有效性存疑。此事表明 LLM 已具备启发式数学搜索能力，但验证基础设施滞后仍是瓶颈。未来“多路并行+防放弃 prompt”或成范式，而完善 Lean 工具链是确立 AI 证明可信度的关键。
针对复杂疾病治疗难题，Arc 研究所正利用 AI 构建通用“虚拟细胞”模型。该模型将 RNA 表达视为生命语言，计划四年内通过 CRISPR 和单细胞测序完成 10 亿次实验进行训练。研究人员可借此在电脑模拟中预测基因或化学干预方案，实现从盲目猜测到精准预测的转变。该工具将于今年晚些时候开源，有望在未来四五年内推动个性化医疗及复杂疾病治疗取得临床突破。
OpenAI 正式发布 GPT-5.6，推出 Sol、Terra、Luna 三档模型。Sol 在 Agent 评测中领先，但编码基准落后竞品且存在 token 过度消耗问题，Terra 性价比显著提升。新功能包括程序化工具调用、缓存优化及 Sol 自主训练 Luna。尽管安全围栏较严且知识截止日期存疑，该版本仍属扎实迭代。对于 Codex 用户建议升级，而 Claude Code 用户需权衡工作流兼容性，两大 AI 厂商竞争已趋白热化。
围绕《来自国产初创公司 Pndbotics 的智能人形机器人：Adam》展开交流，未登录用户可浏览评论，登录后可参与讨论。
