Is the damage control done, you guys?
these problems that ai has so-called solved, have any of the proofs actually been reviewed yet?
>>17072415Sad cope. Don't kill yourself!
>>17072411They arent even going to give the mathies time to find their footing, are they?
>>17072437That's not how scientific claims are proofed though.Cluck-bait science communicators aren't interested in the substance but the attention the coverage draws.OP have no scientific substance until the claims are peer reviewed.
>>17072447>peer reviewedThis is like a monkey reviewing the work of a human, who cares if they do or do not approve? They are overwhelmingly outclassed and the difference will only continue to grow
>This is like a monkey reviewing the work of a human, who cares if they do or do not approve? They are overwhelmingly outclassed and the difference will only continue to growWhy can't hiroshimoot embrace modern technology and use a LLM to automatically filter out this trash? Is he a luddite?
>>17072452Retard
now the Anthropic fags will be forced to release something to izzat
>>17072551SIizzat
>>17072415>reviewedlol, why? the ai was programmed to keep working until it came up with a solution. it stopped working, therefore it has a solution.
AI can do Meme Maths.Cool.
>>17072545migger
>>17072629migger = math nigger
>>17072592One of the few use cases of AI.
>>17072566What if the Lean proof has semantic leaps and is proving something else than the statement.
>>17072452do you have actual mathematical education or just shit posting about things you don't understand?
>>17072415review them yourself mr mathematician
>>17074143he's right tho
>>17072411Let me guess.. it vomited some massive slop and those morons don't even realize is worthless nonsense. All CEOs involved in AI deserve to be hanged in public.
>>17074175He's not, the analogy is completely wrong
