Um, human-guided proof search is several decades old. The text of the article says that's what this was... So, more snake oil? Sigh.
this post was submitted on 11 Jan 2026
3 points (71.4% liked)
math
1044 readers
1 users here now
General community for all things mathematics on @lemmy.world
Submit link and text posts about anything at all related to mathematics.
Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.
founded 2 years ago
MODERATORS