google-deepmind / google-deepmind/alphageometry
Alphageometry seems not able to solve basic geometry question
- Dominant language
- Python
- Stars
- 4.9k
- Forks
- 572
- PR merge metrics
- No merged PRs in 30d
Description
Problem:
Let ABC be a triangle. Let ∠A be 20°, ∠B be 110°, ∠C be 50°. Let BD be an altitude of the triangle ABC. Let AE be an angle bisector of triangle ABC. Let F be the intersection of BD and AE. Find ∠CFD.
Answer
60°
Translated problem:
```a b = segment a b; c = s_angle b a c -20, s_angle a b c 110; d = foot b a c; e = angle_bisector b a c; f = on_line f b d, on_line f a e; g = s_angle f c g 60, s_angle c f g -60 ? coll f d g```
Alternate:
```a b = segment a b; c = s_angle b a c -20, s_angle a b c 110; d = foot b a c; e = angle_bisector b a c; f = on_line f b d, on_line f a e; g = s_angle f c g 60 ? eqangle f c f g f c f d```
Setting:
```
BATCH_SIZE=8
BEAM_SIZE=16
DEPTH=2
```
And there is no solution
Contributor guide
Assessment
This issue has not been assessed yet.