[dr_kiszonka]

Weird. I can't find the sentence you are quoting in the paper.

[1024core]

Paper: https://www.nature.com/articles/s41586-023-06747-5

Section title: Geometry theorem prover baselines

Second paragraph under that. 3rd sentence from the end of the para.

[dr_kiszonka]

Thank you.