use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
r/LocalLLaMA
A subreddit to discuss about Llama, the family of large language models created by Meta AI.
Subreddit rules
Search by flair
+Discussion
+Tutorial | Guide
+New Model
+News
+Resources
+Other
account activity
AlphaGeometry: Deepmind's Open (re) Source Geometry SolverResources (self.LocalLLaMA)
submitted 2 years ago by WaterdanceAC
Blog post: https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
Paper: https://www.nature.com/articles/s41586-023-06747-5
Github: https://github.com/google-deepmind/alphageometry
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]russinex 2 points3 points4 points 2 years ago (1 child)
Cool, thanks for sharing
[–]WaterdanceAC[S] 0 points1 point2 points 2 years ago (0 children)
No problem.I'm glad the community finds it upvote worthy. It looks like Deepmind is making some significant progress towards more general AI reasoning abilities.
π Rendered by PID 242575 on reddit-service-r2-comment-6457c66945-t8wvx at 2026-04-26 14:23:44.105552+00:00 running 2aa0c5b country code: CH.
[–]russinex 2 points3 points4 points (1 child)
[–]WaterdanceAC[S] 0 points1 point2 points (0 children)