大型语言模型对创意工作的影响

科技人工智能

数学研究中的AI角色:从证明到职业前景

华南大学研究人员王和吴发表论文,宣称在OpenAI Codex的协助下证明了球面Hadwiger猜想。这一猜想自1974年以来已保持开放状态长达四十余年。根据论文的免责声明,OpenAI Codex被用于"开发证明细节、识别空缺、组织排版和编辑英文"。