google-deepmind / google-deepmind/alphageometry
Error reported when using AG mode to prove IMO problem, numerics.InvalidLineIntersectError
Open
- Dominant language
- Python
- Stars
- 4.9k
- Forks
- 572
- PR merge metrics
- No merged PRs in 30d
Description
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?
Contributor guide
Assessment
This issue has not been assessed yet.