3 stories tagged Geometry
Researchers introduced SD-GPS, a solver-driven framework that addresses key bottlenecks in geometry problem solving: autoformalization and theorem prediction. By treating the symbolic solver as an execution oracle, SD-GPS improves accuracy and flexibility, with potential applications in math education.
OpenAI's new AI model has reportedly solved a geometry problem that stumped mathematicians for 80 years. This time, experts are backing the claim, unlike a previous failed attempt.
Researchers introduce GeoRepEval, a framework to evaluate large language models' robustness to different geometric problem representations. The study highlights that current benchmarks overlook representation invariance, masking potential failures.