google-deepmind / alphageometry

Apache License 2.0
4.16k stars 466 forks source link

Can the model only do proof based exercises or can it find stuff like the largest an angle can get? #106

Open ghost opened 7 months ago