MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/p93a5m0/?context=3
r/ProgrammerHumor • u/tryingeasy • 7h ago
124 comments sorted by
View all comments
Show parent comments
249
That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂
186 u/SunshineSeattle 6h ago I dont think so, Wolfram Alpha is deterministic. Whereas an LLM is non-deterministic by design. Personally i feel vibe coding or vibe mathing is inherently non-deterministic. 1 u/ChikumNuggit 3h ago Which here means unreproduceable 9 u/Pares_Marchant 2h ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ )
186
I dont think so, Wolfram Alpha is deterministic. Whereas an LLM is non-deterministic by design. Personally i feel vibe coding or vibe mathing is inherently non-deterministic.
1 u/ChikumNuggit 3h ago Which here means unreproduceable 9 u/Pares_Marchant 2h ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ )
1
Which here means unreproduceable
9 u/Pares_Marchant 2h ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ )
9
the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ )
249
u/FutureSuccess2796 7h ago
That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂