alphageometry
alphageometry copied to clipboard
google-deepmind
```BA:AC = 1_/2 [00] & AC:BA = 2_/1 [01] (Ratio chase)⇒ AC = BA [25]``` which is flat-out wrong. this was one of the proof steps generated from running ddar...
I am trying to run alphageometry on colab but keep running into problems: https://colab.research.google.com/drive/1RrTfa3O80QOFL68rXdtAyn1KHt0NCCB3?usp=sharing The stack trace below excludes JAX-internal frames. The preceding is the original exception that occurred, unmodified....
DDAR can be executed successfully. However, when attempting to test `alphageometry`, I encountered a `TypeError` as follows: ``` TypeError: JAX only supports number and bool dtypes, got dtype bfloat16 in...
In ar.py line 354-361: new_column = np.zeros([len(self.v2i), 2]) # N, 2 for v, c in vc: new_column[self.v2i[v], 0] += float(c) # [1] new_column[self.v2i[v], 1] -= float(c) # [2] self.A =...
Bumps [werkzeug](https://github.com/pallets/werkzeug) from 3.0.0 to 3.0.3. Release notes Sourced from werkzeug's releases. 3.0.3 This is the Werkzeug 3.0.3 security release, which fixes security issues and bugs but does not otherwise...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [tqdm](https://github.com/tqdm/tqdm) from 4.66.1 to 4.66.3. Release notes Sourced from tqdm's releases. tqdm v4.66.3 stable cli: eval safety (fixes CVE-2024-34062, GHSA-g7vv-2v7x-gj9p) tqdm v4.66.2 stable pandas: add DataFrame.progress_map (#1549) notebook: fix...
Python version: 3.10 Python package versions: ``` absl-py==2.1.0 astunparse==1.6.3 cachetools==5.3.3 certifi==2024.2.2 charset-normalizer==3.3.2 chex==0.1.85 contourpy==1.2.0 cycler==0.12.1 distlib==0.3.8 etils==1.7.0 filelock==3.13.1 flatbuffers==23.5.26 flax==0.8.1 fonttools==4.49.0 fsspec==2024.2.0 gast==0.4.0 gin==0.1.6 gin-config==0.1.1 google-auth==2.28.1 google-auth-oauthlib==1.0.0 google-pasta==0.2.0 grpcio==1.62.0 h5py==3.10.0...
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...
As amazing as AlphaGeometry is, through several months' testing, some limitations of the current version is clear: - The ability to add auxiliary points is not yet very good compared...
