xAI 正在创建自己的 ChatGPT 版本。...

疯狂入坑AI工具的数学大神陶哲轩，最近又被Lean4和Copilot震惊了——它们竟然帮他发现了自己论文中的一处错误！...

GPT-4、Runway Gen-2、Dall-E 3 等入选...