200
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 14 Sep 2026
200 points (99.0% liked)
science
28896 readers
464 users here now
A community to post scientific articles, news, and civil discussion.
dart board;; science bs
rule #1: be kind
founded 3 years ago
MODERATORS
Some more context on sat and first order solvers in math: the first open math problem solved autonomously by a computer was in 1997, well before the advent of generative ai.