欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐量子实验室
来自开放百科 - 灰狐
灰狐人工智能实验室
公司名拟定为:深度大脑 Deepbrain
目录 |
愿景
历史
16年前,灰狐通过JFox、Orbas等项目发起了开源中间件和灰狐社区。
未来是属于人工智能的,接下来20年拥抱人工智能。
超级计算
超级计算项目为灰狐人工智能实验室提供算力。
机器人
数学
高斯说:“数学是科学的女王”。
数学是灰狐人工智能的理论基石。
GNU Octave是核心的数值计算软件包。
灰狐D3
D3是一个大数据、机器学习的开源解决方案。
灰狐教育
为灰狐教育提供人工智能服务。
灰狗游戏
为灰狗游戏提供人工智能服务。
- Torch由Lua开发,在Facebook有大量应用。
- Facebook TorchCraft A bridge between Torch and StarCraft.
- DeepMind Lab A customisable 3D platform for agent-based AI research
文档
图集
链接
分享您的观点