「硬科技项目」共找到 2152 篇相关文章
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
开源半自动化交互工具
Automat 目标是半自主玩各种游戏，是构建通用计算机交互环境首步。目前功能限于键盘宏录制和回放，不稳定。它是进行中的项目，路线图有激进新功能。文中介绍下载、运行方法及项目地址。
狂揽15.9K star！！Win系统居然还有开源替代版，牛逼啊~
开源君分享开源项目`ReactOS`，它类似Windows，目标是与NT系列无缝兼容，可直接运行Windows软件和驱动。该项目始于1996年，在Github获15.9K star，有轻量、兼容等特点，安装简单。
798 × BOE｜「找到一个好屏友」科技创新展落地798·751园区
8月15日，2025你好BOE「找到一个好屏友」科技创新展在798·751园区启幕，由京东方与七九八文科联办。活动有AI加持，打造新场景，还设六大展区成互动空间，持续至8月24日。
初赛鸣金，精英集结 | 云谷杯·2025 人工智能应用创新创业大赛初赛顺利举行
11月7日，云谷杯·2025人工智能应用创新创业大赛初赛线上举行，100余项目角逐，30个进复赛。大赛多方主办，赛制等全面升级，有丰厚奖励和政策支持，承办方InfoQ助力项目成长，复赛将选10强。
郎园 Station活动｜当 AI 遇见生命科技 爱康 AI 生命展落地仓酷
8月19 - 22日，爱康AI生命展落地郎园Station仓酷。展览将艺术、光影与科技融入空间，结合AIGC与医学科普，设七大展区，呈现AI与精准医学碰撞的可能，让健康管理更直观可感。
谷歌看了都沉默：自家「黑科技」火了，但为啥研发团队一无所知？
当科技圈为‘谷歌黑魔法’兴奋时，所谓‘并行验证循环’可能是AI生成的‘赛博跳大神’。它号称超越思维链，性能提升显著，但发帖者身份存疑，无可靠源链接，其真实性遭业内质疑。
2K+ star！这款分分钟搭建 AI 知识库的项目，真的绝了！
GitHub上爆火的开源项目PandaWiki，两周揽2K star，是AI大模型驱动的知识库搭建系统。它将AI能力深度融入全流程，有强大富文本编辑等特色，还能灵活部署，适合中小团队和个人开发者。
想做成好的AI应用，先从把它砍成“一小时版本”开始「吴恩达老师开发心法」
吴恩达老师分享AI开发实用建议，若开发时间有限，应缩减项目范围，直至能在现有时间内完成。如他将“观众模拟器”项目精简，在短时间构建基础版本，获多方面收获。
硬刚黄仁勋！AMD祭出「千倍算力大杀器」，「反黄联盟」崛起
CES现场，苏姿丰投下震撼弹：四年内AI算力将提升1000倍！ 面对英伟达的封锁，AMD不再隐忍，直接祭出Helios「太阳神」机架与MI455X芯片，以单代性能暴涨10倍的「暴力美学」正面硬刚。