Saltire combines natural-language input with deterministic reasoning to bring exact geometry into modern AI workflows ...

Debates over how geometry is understood and learned date back at least to the days of Plato, with more recent scholars concluding that only humans possess the foundations of this understanding.