米カリフォルニア州パロアルトを拠点とするスタートアップのアクシオム・マス（Axiom Math）は、数学者向けの無料の新しいAIツールをリリースした。長年の問題を解決する可能性のある数学的パターンを発見するために設計されたツールである。 「Axplorer ...