チェンがオノにその問題について話すと、翌朝、オノはAxiomの数学解決AI「AxiomProver」による証明を提示した。「そこからの流れはすべてが自然でした」とチェンは語る。彼はAxiomと協力して証明を書き上げ、その論文は現在、学術論文の公開リポジトリである arXivに投稿 されている。
We’re entering a new renaissance of software development. We should all be excited, despite the uncertainties that lie ahead.
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する