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

google-deepmind / alphageometry

Apache License 2.0

4.19k stars 469 forks source link

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

Open TriedTired99 opened 7 months ago

TriedTired99 commented 7 months ago

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?