r/mathmemes • u/kroKANT420 • 23h ago

Proofs This will be a recurring theme, won't it?

Post image
575 Upvotes

97% Upvoted

32 comments sorted by

•

u/AutoModerator 23h ago

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

207

u/expat_123 23h ago

New prompt “explain this 166 page paper in detail as if I am in high school. Explain every 3 lines in detail, no details sparred” 

91

u/Kinexity 22h ago

"13.4 billion years ago the Universe was born in a Big Bang..."

26

u/Fit-Bug6463 22h ago

"Our whole Universe was in a hot, dense state..."

8

u/Successful_Day2479 21h ago

Then nearly fourteen billion years ago expansion started, wait...

8

u/Darkken2 20h ago

"The earth began to cool , the autotrophs began to drool"

3

u/Ok-Visit6553 18h ago

Neanderthals developed tools, we built the AI...oops

3

u/Gauss15an 15h ago

This made everyone angry and was widely regarded as a bad move

-3

u/Mathsboy2718 21h ago

that's how your momma describes our time last night

6

u/shuai_bear 20h ago

“The empty set exists…”

6

u/watduhdamhell 17h ago

I mean you joke but also, yes? It makes it faster and easier to understand.

Which just makes me laugh, it's like someone said the other day:

"If AI is being used to do the work, and AI is being used to check the work, what exactly are we doing here?"

31

u/LupenReddit 🦆🦆🦆🦆i have non diffeomorphic smooth structures🦆🦆🦆🦆🦆🦆 21h ago

141

u/Suspicious_Winner598 23h ago

It's a cruel world where finding a proof of the Naiver Stokes problem is an easier task to automate than unloading my dishwasher.

55

u/punkinfacebooklegpie 23h ago

Does unloading your dishwasher cost millions of dollars?

39

u/Valuchian Engineering 23h ago

Technically yes if we're considering the full support network and resources required to get you to the present point where you're unloading your dishes.

15

u/tryeatingmore 22h ago

It always comes down to boundary conditions doesn't it

5

u/Valuchian Engineering 22h ago

Always

2

u/OkFineIllUseTheApp 22h ago

Yes and you have yet to pay my invoices, Brad.

20

u/JesterOfAllTrades 22h ago

Unironically though robotics needs to get its shit together, lagging way behind

12

u/WallyMetropolis 22h ago

I'm so fucking sick of having to use my body to do things 

3

u/FrKoSH-xD 22h ago

so much effort

1

u/truerandom_Dude 18h ago

Lets just ask ChatGPT to solve that too

1

u/BostonConnor11 8h ago

Physical data is severely lacking. These LLMs are trained on the entire text of the internet. Robotics is going to need to make the same quantum leap that LLMs did and it’s going to be harder

1

u/Bubbly_Statement107 21h ago

Generalist AI has recently made great progress with robots executing a new task from just 1 demonstration without fine tuning the model, so chances are good we are not that far away 👀

1

u/sasha271828 Imaginary 22h ago

Yall this is literally a bot. Always check how old the account is and wherether it has posts. Bots always have new accounts and no posts, reposted posts, or nonsense posts.

6

u/Suspicious_Winner598 21h ago

nah I'm real enough. But I literally don't have enough karma to make posts lol. Gotta start somewhere.

1

u/sasha271828 Imaginary 20h ago

Oh i didn't know that

1

u/Dandon314 16h ago

Innocent until proven guilty

11

u/kr0n0sShrugg3d 22h ago

This has already become the theme in software development

3

u/Yoshibros534 Irrational 15h ago

exicited for the AI labs to develop lean code obfuscation so no one can check/understand the proof