Thread Questions LLMs' Ability To Find Trivial Math Counterexamples
Reactions from ranked influencers
2 posts
no one is ready for if half of "mafs" is made up of trivial counterexamples that dumb monkeys have been dogshit at finding
No one is ready for if LLMs are actually bad at mafs
*slaps the title page of a 10 page paper* "This bad girl can fit more trivial counterexamples in it than you imagine"
@jconorgrogan I am willing to predict no LLM (say in the next 5 years though might as well be indefinite) will *prove* (rather than disprove) a major open conjecture using an argument that's more than 10-20 pages long when written properly.