Ideas & society2024 · shared on Hacker News
Solving Olympiad geometry without human demonstrations
Explore Solving Olympiad geometry without human demonstrations, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
YFlawedReformer ·
AlphaGeometry: An Olympiad-level AI system for geometry
545 points170 comments
Yiafisher ·
Cyc: History's Forgotten AI Project
287 points141 comments
YGavCo ·
Reflection 70B, the top open-source model
234 points95 comments
Yrobinhouston ·
Solving Olympiad geometry without human demonstrations
14 points1 comments
YJumpCrisscross ·
Solving olympiad geometry without human demonstrations
2 points0 comments
Yrntn ·
Solving olympiad geometry without human demonstrations
2 points0 comments
Ynsoonhui ·
Solving olympiad geometry without human demonstrations
2 points0 comments
Ymelagonster ·
Solving olympiad geometry without human demonstrations
1 points0 comments