alphageometry icon indicating copy to clipboard operation
alphageometry copied to clipboard

Published 20 hours ago • verified publisher icon google-deepmind

Error reported when using AG mode to prove IMO problem, numerics.InvalidLineIntersectError

Open TriedTired99 opened this issue 10 months ago • 0 comments

When I use the AG mode to prove the IMO problem, I encounter numericals.InvalidLineIntersectError. This issue occurs in imo_2012_p5 and imo_2018_p1. Has anyone encountered the same problem?

TriedTired99 avatar Apr 13 '24 12:04 TriedTired99