Geometric Reasoning Assistant
8.2
A software tool leveraging AI to assist mathematicians and researchers in exploring and verifying geometric theorems and conjectures, inspired by OpenAI's model disproving the Erdős unit distance problem. It aims to automate tedious proofs and uncover new insights in discrete geometry and related fields.
250h
mvp estimate
8.2
viability grade
7
views
technology stack
Python
Difficult
PostgreSQL
inspired by
AI disproves 80-year-old geometry problem