搜索：星际之门项目

「星际之门项目」共找到 1862 篇相关文章

杀死UI！普通人也能做最酷炫的 5 种 AI 动态网页

文章介绍5种酷炫AI动态网页制作方法，无需专业UI能力。涵盖赛博飞驰、流光动效、星际探索、敦煌古风、都市现代风等风格，给出各案例制作流程、提示词，还提及借助Claude Code等工具合成网页。

文章指出 GUI 时代将尽，CLI 正赢下一个十年，其用户将是 Agent。介绍了 CLI - Anything 项目，它能为软件生成 CLI 接口，让 Agent 用命令行操控软件，还探讨了 Agent 命令执行权限等问题。

2026年初，智谱GLM - 5上线，它是全球首个在系统级工程能力上与硅谷巨头正面竞争的开源模型，发布后智谱股价暴涨32%。它能力惊艳，能完成复杂项目，成本可控，还适配国产算力。

2025年10月美股震荡，港大黄超教授团队开源AI-Trader项目启动实盘测试，上线一周在GitHub获近8K星标。6位AI交易员投入纳斯达克100交易，实验测试其交易纪律、市场耐心和信息过滤能力。

8月31日，星连资本、智谱Z计划主办的Z DemoDay举办，24个早期AI项目亮相，覆盖多领域。路演外还有产品创造营，围绕AI产品设计研讨演练。大会还设创意活动，揭示AI时代创新本质是人类创造力。

OpenAI IMO团队接受采访，透露让模型获IMO金牌的项目仅用两三个月、核心开发者仅三人。还谈及模型证明风格、第六题失分原因、解决千禧年大奖难题距离等，强调通用技术及面临的新挑战。

MiroMind ODR是代季峰加盟陈天桥后的技术首秀，GAIA测试82.4分超OpenAI。它全开源可复现，包括MiroFlow、MiroThinker等四个子项目。团队还曾推出MiroMind - M1，专注提升数学推理能力。

7月27日普通观众参观日，WAIC现场火爆。本届大会规模为历届之最，机器人与模型厂商纷纷展示落地应用。机器人从“能动”走向“会干”，模型厂商聚焦场景，投融资锚点转向商业指标。

GitHub开源项目Memvid，能用MP4视频文件替代昂贵的向量数据库，检索达亚秒级。它把文本编码成视频，用配套JSON索引记录位置，结合sentence-transformers和FAISS实现语义搜索，存储和检索性能出色。

文章围绕「追问」展开探讨，指出追问能发现思考破绽，有苏格拉底式、维特根斯坦式等方法。追问之道在于揭示存在遮蔽，有陌生化、边界游走、敞开等待三种方法，还提及诗歌留白是纯粹追问形式。