使用人工智能系统协助生成数学证明,以及随之而来的验证、透明度和署名归属问题。
25位杰出的数学家——全部获得过菲尔兹奖章——联署公开信,警告人工智能实验室竞相解决著名问题的做法正在威胁思想归属和研究透明度。此举正值OpenAI与学术研究人员之间围绕署名、证明公开以及研究人员成果使用问题的分歧不断升级之际。