「硬件项目」共找到 1658 篇相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
专访｜两位华人主导创办，Jeff Dean参投，伯克利开源项目SkyPilot转型初创
前沿模型团队算力瓶颈从不足变为分散，开源AI算力调度项目SkyPilot应运而生。7月末，它从高校走出成为初创公司，完成2000万美元种子轮融资。其免费版与商业版各有侧重，切入AI编排赛道潜力大。
8000行Python+Rust手搓ChatGPT，日收14.5k星！Karpathy：Agent只会帮倒忙
特斯拉前AI总监Andrej Karpathy发布开源项目nanochat，可搭建简易版ChatGPT复现模型。约8000行代码，成本低，功能多。卡帕西称手写代码，用Agent效果差，项目受网友热赞。
一行命令，让任何软件秒变AI神器！这个GitHub项目杀疯了
AI智能体推理强但使用专业软件能力差，现有解决方案不佳。CLI - Anything自动化框架打破困境，能让AI通过命令行控制软件，为13款软件生成CLI，有7阶段流水线，多场景适用，介绍了使用方法和项目地址。
突发！奥特曼家被扔燃烧弹，OpenAI星际之门也出问题了
OpenAI掌门人Sam Altman住所遭燃烧弹袭击，他反思AI行业乱象，认为AI权力须民主化。同时，OpenAI核心项目星际之门经历人事震荡，战略转向依赖合作，海外英国项目因成本和监管搁置。
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
奥特曼64亿美元联手强纳肾：OpenAI冲刺硬件iPhone时刻
OpenAI以64亿美元收购苹果前首席设计官Jony Ive创立的AI硬件初创公司io，Jony Ive担任创意总监。2026年双方合作的第一代产品将面世，新AI产品或与智能手机不同，还批评了Humane和Rabbit产品。
开源半自动化交互工具
Automat 目标是半自主玩各种游戏，是构建通用计算机交互环境首步。目前功能限于键盘宏录制和回放，不稳定。它是进行中的项目，路线图有激进新功能。文中介绍下载、运行方法及项目地址。
狂揽15.9K star！！Win系统居然还有开源替代版，牛逼啊~
开源君分享开源项目`ReactOS`，它类似Windows，目标是与NT系列无缝兼容，可直接运行Windows软件和驱动。该项目始于1996年，在Github获15.9K star，有轻量、兼容等特点，安装简单。
对话范浩强：10亿融资之前，我们手搓了5000元“丐版硬件”
原力灵机是具身智能新秀，9个月连融3轮获阿里数亿投资。其创始团队多出自旷视，从To B工业场景切入物流行业。公司发布开源三件套，还将开源基座模型，强调创业要穿越周期，谨慎慢跑。