「可视化操作」共找到 715 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
登顶AndroidWorld开源榜首！可以操作手机的移动端AI Agent。
Minitap开源的手机Agent登顶AndroidWorld开源榜首，亮点是能操控安卓与iOS模拟器。用户用自然语言就能完成复杂任务，还具备跨平台控制、全场景交互等特点，项目可快速部署。
微信支付这波操作把我干懵了，Agent能赚钱？
微信支付从商业底层——支付——直接 mcp 了，用户可在腾讯元器体验其 mcp 服务，支付后智能体干活。微信支付 MCP 让 AI 与支付系统融合，实现“对话即交易”，但也面临安全合规问题。
机器人GPT时刻！英伟达WAM赋予全机器人零样本操作能力
英伟达发布世界动作模型 DreamZero，通过耦合视频生成与动作预测，让机器人有物理直觉，能在陌生环境完成复杂任务。它用异构数据学习，适配不同机体，还经优化实现高速推理。
谷歌开源结构化信息提取神器！4K+ Star，精准定位+交互式可视化！
在医疗、法律等领域，手动从非结构化文本提取信息费力，传统NLP工具需复杂训练。谷歌开源的LangExtract是高精度信息抽取Python库，能自动提取结构化信息，有精确源定位等功能，还给出使用示例和典型场景。
PDF文件长出「AI大脑」？网友惊呼：这操作太「黑科技」了！
极客Aiden Bai将大语言模型塞进PDF，可让AI讲故事、聊天，Linux系统也能在其中运行。项目嵌入小型语言模型，如TinyStories、Pythia和TinyLLM，利用PDF支持的JavaScript实现，虽有局限但潜力大。
Claude Fable 5解禁，Sonnet 5发布，但各种骚操作封禁中国用户
6月30日深夜到7月1日凌晨，Anthropic宣布Claude Fable 5出口管制解除，7月2日恢复访问，还发布Sonnet 5。但此前安全研究者发现Claude Code在系统提示词里给中国时区和代理域名请求打暗号，Anthropic还收紧对中国账号封锁。
狂涨14.4K star！大三学生开发的Github可视化利器，真吊！
开源君介绍`gitdiagram`，这是结合AI与Web开发栈的开源工具，能将GitHub仓库变成交互式架构图。由大三学生开发，获14.4k星标，微软等企业团队采用，性能佳、使用便捷。
LeCun今后发论文得亚历山大王批准！Meta搞出大无语操作
量子位独家获悉，Meta宣布FAIR对外发表论文须经TBD审核。TBD由首席AI官Alexandr Wang执掌，与FAIR是平行关系。此规定引发FAIR内部不满，有人跳槽，Alexandr Wang行事风格饱受争议。
智算浪潮下的专有云操作系统安全：范式跃迁与信任链重塑
云计算发展使专有云成企业平衡便利与安全之选，但 AI 冲击其安全范式。阿里云三位专家探讨 AI 时代专有云安全，涉及物理隔离价值、新技术重塑安全逻辑、国产 OS 与芯片协同挑战等，还介绍阿里云方案及未来趋势。