google-deepmind / google-deepmind/alphageometry

Alphageometry seems not able to solve basic geometry question

Open
#99 24 comments 2 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.