geometric algebra critique
sloppy shuffles cutoff phenomenon
deepmind erdos problems solved
openai model disproves discrete geometry conjecture
google deepmind ai co mathematician frontiermath
2026 04 25 papers 2509.25630
pifs