AI math breakthroughs debunked the "work smarter, not harder" fallacy by using the trial and error method with the persistance that no human is capable of
>>109460401well, the motto is for humans, not for AI
And that's why it's not intelligentIt's a combinatorics machine and it needs a human to check whatever combinations of language happen to sound like a valid proofThen the proof becomes "intelligent" and evidence that AI is smarter than humans
>>109460401those were physicstards who basically had the llm use a script to brute force some basic problems no one cared enough to spend time calculating
isn't using LLM and giving it tools work smarter already?
>>109460474everything finite is combinatorics you retarded fucking mathlet
>>109460401getting AI to use the trial and error method with the persistance [sic] that no human is capable of is working smarter, not harder
>>109460474>it needs a human to check whatever combinations of language happen to sound like a valid proofthis is exactly how peer review works among actual math phds if you didn't know
>>109460401>AI math breakthroughs debunked the "work smarter, not harder" fallacy by using the trial and error method with the persistanceSomeone didn't read Polya.
>>109463626Not at all. There's a gulf of difference between the monkeys-on-typewriter approach described and merely validating proofs. Yes it's true india and china keep sending bullshit but that doesn't change this.
>>109460401Do you have the unedited Pic? I love peaches.
