「计算平台」共找到 1955 篇相关文章
面向「空天具身智能」，北航团队提出星座规划新基准丨NeurIPS'25
卫星星座成数字经济时代基础设施，但运行背后规划难题待解。北航刘偲教授团队提出首个大规模真实星座调度基准AEOS - Bench，训练内嵌时间约束的调度模型AEOS - Former，为‘AI星座规划’奠定新技术基准。
GitHub 19k star 写爬虫被封IP？Social Analyzer内置代理池，直接给你轮换出口，省去自己维护
Social Analyzer是开源OSINT工具，有API、命令行和Web应用，可在1000+社交媒体/网站分析查找同一人公开档案。它能降误报，助对付可疑账号，已获19k Stars，还被部分执法机构使用。
18.2K Star！macOS 丝滑跑Linux，一键容器、多架构支持，开发效率直接起飞！
介绍轻量级虚拟机管理器 `Lima`，它能在 macOS 上提供类似 WSL2 的体验，专注容器化工作流。支持多架构与多驱动，有开箱即用的容器化支持等特性，安装和使用简单。
开源AI教育视频生成神器，3Blue1Brown风教学动画一键搞定！
新加坡国立大学Show Lab团队开源Code2Video，能让代码变高质量教育视频，逻辑是用代码驱动视觉效果。它有智能解析等特性，可解决传统教学视频形式单一等问题，应用场景广泛。
刚刚，Anthropic新CTO上任，与Meta、OpenAI的AI基础设施之争一触即发
Anthropic迎来新CTO Rahul Patil，他将负责计算、基础设施等工程任务。此时Anthropic面临与OpenAI、Meta的激烈基础设施竞争，Claude产品流行也带来压力，新CTO能否带来转变值得关注。
CUDA内核之神、全球最强GPU程序员？OpenAI的这位幕后大神是谁
AI圈聚光灯常聚焦明星人物，OpenAI一位工程师因编写关键CUDA Kernel引发关注，网友猜测是Scott Gray。他在Nervana开发maxas、maxDNN，加入OpenAI后开发块稀疏GPU内核并开源。
谷歌AI或摘千禧年大奖！华人博士破解百年数学难题，首次捕获奇点
谷歌DeepMind与顶尖机构合作发布重磅论文，用AI在三种流体方程中发现新型不稳定“奇点族”。借助“物理信息神经网络”，开创研究新范式，为数学等多领域带来突破，或攻克千禧年大奖难题。
ScreenCoder：视觉-代码对齐新范式，为多模态程序合成开辟道路
前端开发中UI转代码耗时易错，现有工具存在不足。ScreenCoder提出模块化多智能体框架，通过三阶段分工协作实现代码生成，还构建数据引擎推动VLMs进化，实验表现出色，为多模态程序合成开辟道路。
创智突破：AI首次自主发现106个超越人类设计的神经网络架构
创智学院团队发布的AI超智能系统ASI - ARCH，自主发现106个超越人类设计的神经网络架构，建立“科学发现缩放定律”，实现从“自动化优化”到“自动化创新”转变，还将成果开源推动研究发展。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。