製品管理、マーケティングリサーチ、ソーシャルメディアの運用計画など、さまざまな web サイトから特定のデータ（宿泊料金、航空券料金、株価検索など）を取得したい場合、そして、その後のデータ分析や意思決定アプリケーションのために関連データ ...

チェンがオノにその問題について話すと、翌朝、オノはAxiomの数学解決AI「AxiomProver」による証明を提示した。「そこからの流れはすべてが自然でした」とチェンは語る。彼はAxiomと協力して証明を書き上げ、その論文は現在、学術論文の公開リポジトリである arXivに投稿 されている。