GPT-6 Astra 已接入 NeuralSpace：复杂任务、编程与研究
GPT-6 Astra 现已在 NeuralSpace 聊天和 API 中可用，支持可调推理、联网搜索和工具调用。
Grok API 与 MCP：如何把聊天模型接入你的项目
Grok 4.3、4.5 和 4.6：能力、/v1/chat/completions 端点、MCP 工具和获取密钥。
Claude 用 11 天完成费马大定理形式化：1340 万行 Lean，没有一处“显然”
Anthropic 宣布完成首个端到端、机器可验证的费马大定理证明：Claude 用 11 天把怀尔斯证明翻译成 Lean——1340 万行代码、约 29500 条定理、仅依赖三条公理。
Vibe Coding 课程：用自己的项目学习
实用的 Vibe Coding 课程会教什么、如何在浏览器中练习，以及怎样在 NeuralSpace 开始一个小项目。
在线 AI 无需订阅：在浏览器里能做什么？
一份 NeuralSpace 在线工具实用地图：聊天、图片、视频和音乐，以及如何通过新用户初始 token 开始使用。