OpenAI、数学と理論計算機科学の10の未解決問題を解決
Ten advances in mathematics and theoretical computer science
OpenAIは次世代モデルAstraを用いて、高次元幾何学から量子複雑性まで、10年以上も未解決だった数学と理論計算機科学の10の重要課題に新たな成果をもたらしました。これらの証明はLeanで形式化され、思考プロセスも公開されています。AIが数学研究にどう関わるかという責任についても、誠実な帰属とコミュニティとの対話を重視する姿勢を表明しています。
AIシステムによって完全に生成された証明に対して人間の著者権を主張することは、システムの貢献と真の人間の知的作業の両方を誤って表すことになります。