资源 math:OpenAI 内部模型产出的 721 篇数学手稿,约 42% 已有 Lean 形式化证明 中文版 math(GitHub:https://github.com/openai/math ,2026-10-06 创... 214 0 阿虪 2 11 月, 2026
泡泡实验室:一个用 Cocos Creator 写的半流体合成小游戏 2026-10-20 Legend Treasure Expedition 2026-10-08 沙雕连连看 2026-07-12 地狱拉屎王 2026-05-07 阵灰:经典数独(AshGrid Sudoku) 2026-04-26 净闻 2026-03-19 查看更多标签云开源GitHubAIOpenAIAI安全ClaudeAI智能体Agent网络安全AnthropiciOSGoogle融资人工智能开源软件大模型安全AI编程开源模型微软MCPChatGPT英伟达Meta游戏DeepSeekAndroidRust机器人Nvidia开发工具AI芯片AI视频苹果AI硬件数据中心GeminiAppleMacAI大模型
Legend Treasure Expedition 2026-10-08 沙雕连连看 2026-07-12 地狱拉屎王 2026-05-07 阵灰:经典数独(AshGrid Sudoku) 2026-04-26 净闻 2026-03-19 查看更多标签云开源GitHubAIOpenAIAI安全ClaudeAI智能体Agent网络安全AnthropiciOSGoogle融资人工智能开源软件大模型安全AI编程开源模型微软MCPChatGPT英伟达Meta游戏DeepSeekAndroidRust机器人Nvidia开发工具AI芯片AI视频苹果AI硬件数据中心GeminiAppleMacAI大模型
沙雕连连看 2026-07-12 地狱拉屎王 2026-05-07 阵灰:经典数独(AshGrid Sudoku) 2026-04-26 净闻 2026-03-19 查看更多标签云开源GitHubAIOpenAIAI安全ClaudeAI智能体Agent网络安全AnthropiciOSGoogle融资人工智能开源软件大模型安全AI编程开源模型微软MCPChatGPT英伟达Meta游戏DeepSeekAndroidRust机器人Nvidia开发工具AI芯片AI视频苹果AI硬件数据中心GeminiAppleMacAI大模型
地狱拉屎王 2026-05-07 阵灰:经典数独(AshGrid Sudoku) 2026-04-26 净闻 2026-03-19 查看更多标签云开源GitHubAIOpenAIAI安全ClaudeAI智能体Agent网络安全AnthropiciOSGoogle融资人工智能开源软件大模型安全AI编程开源模型微软MCPChatGPT英伟达Meta游戏DeepSeekAndroidRust机器人Nvidia开发工具AI芯片AI视频苹果AI硬件数据中心GeminiAppleMacAI大模型
阵灰:经典数独(AshGrid Sudoku) 2026-04-26 净闻 2026-03-19 查看更多标签云开源GitHubAIOpenAIAI安全ClaudeAI智能体Agent网络安全AnthropiciOSGoogle融资人工智能开源软件大模型安全AI编程开源模型微软MCPChatGPT英伟达Meta游戏DeepSeekAndroidRust机器人Nvidia开发工具AI芯片AI视频苹果AI硬件数据中心GeminiAppleMacAI大模型