Ehisnet

I had a similar issue when trying to solve other geometry problems aside the ones provided by the owner of the Alpha geometry. Mine was USAMO 2023 P1. It was...

The strategy I used in developing this translated versions was that I fed Chat GPT with a lot of training data from the translated IMO_ag_30.txt and the examples.txt until it...

> @Ehisnet This seems to work: > > ``` > usamo_2023_p1 > a b c = triangle a b c; m = midpoint m b c; p = foot p...

> @Ehisnet The chat gpt implementation of the USAMO 2023 P1 is not correct. (P is not normal on AM,...) > > a b c = triangle a b c;...

@Geomathart @unhandyandy Hello guys can we translate this problem above

> > @Geomathart @unhandyandy > > Hello guys can we translate this problem above > > I doubt it. :) It's way too earlier for something like that. Where did...

> > > @Geomathart @unhandyandy > > > Hello guys can we translate this problem above > > > > > > I doubt it. :) It's way too earlier...