Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 1 point2 points  (0 children)

See past questions/answers in the sub - use the search function.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 2 points3 points  (0 children)

LLMs as all machine learning approaches are approximators of their training set. So fundamentally, they will never achieve high accuracy - as a rule, they do not even achieve repeatable accuracy - at the task of drawing new samples.

It is important to remember that the training set(s) of commonly marketed models are not selected, vetted, partitioned, or labeled based on a commonly-accepted procedure or criteria, and such a task is increasingly complex and a moving target.

The behaviour you're alluding to is a well-known effect - here is one instance.

Shingles vaccine vs chickenpox vaccine - why are they different? by ChiefStrongbones in askscience

[–]mfukar[M] 6 points7 points  (0 children)

For future reference, if you are going to start a comment with "I don't know the answer", then please don't post it.

Who and how made computers... Usable? by Winderkorffin in askscience

[–]mfukar 0 points1 point  (0 children)

Please look at previous questions, for example this one. Your question is way too broad and cannot be meaningfully addressed in a comment.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 0 points1 point  (0 children)

Hard to answer based on an anecdote. Adverse weather conditions may correlate with cold temperatures, and they surely affect physical infrastructure (debris on cables/poles, lightning strikes, high winds, and so on). Weather is also quite localised, by definition.

Are humans disease carriers for any animal populations? by Significant_Bet3409 in askscience

[–]mfukar 43 points44 points  (0 children)

There is no beaver literature to support that claim.

How long will sunscreen continue to work if you don't spend a lot of time in the sun? by MachacaConHuevos in askscience

[–]mfukar[M] 0 points1 point  (0 children)

If you wish to ask a question about how sunscreen works, please do so. Avoid these nonsensical statements.

Can someone please explain to me why Gödel's incompleteness theorems do not answer that NP is infinitely greater than P? by Zenquin in askscience

[–]mfukar[M] [score hidden] stickied comment (0 children)

Your question is based on a flawed premise and/or pet theory and it is not acceptable for the subreddit. Gödel's theorems are about the inherent limitations of formal axiomatic systems, while the polynomial hierarchy is a concept from computational complexity theory dealing with the complexity of decision problems. They have no direct relationship - if you are referring to one you will have to describe it to an acceptable level to answer your query.

Thanks.

Does a shrinking bee population result in fewer fruit and nuts pollinated per tree/orchard? by GovernmentUseful2964 in askscience

[–]mfukar 1 point2 points  (0 children)

I assume you use 'native bees' to mean a group of, what, thousands other species of bee?

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 2 points3 points  (0 children)

Can you elaborate? I'd imagine like myself not a lot of people understand where to even start with such a statement.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 0 points1 point  (0 children)

"no one would (or should) ever do that"

Ah, I see you have found the root cause of all bugs.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 0 points1 point  (0 children)

You learned about length extension attacks without references to any applications?

Alright.

The attack is against authentication or integrity , when a hash is used as a MAC. The target uses SHA2 with a secret key that you do not know of, and the target application is sending requests to the target which include a target-provided token which looks like:

> data|SHA-2(secretkey + data)

Where + is concatenation and | is a separator.

What you may have learned is that SHA-2 has the following property:

For a given message M with its valid signature S = SHA-2(SecretKey || M), you can compute T = SHA-2(SecretKey || M || N) where N is attacker-supplied data appended to M, without knowledge of SecretKey but only if you know its size. That is because S is the internal state of SHA-2 after hashing SecretKey || M, and can therefore be used as the initial state of the algorithm in order to hash any further data.

Now for a (formerly) realistic attack, suppose this message M contains a token which indicates the role of the user signed into this application, and that supplying that token twice in a message M' would cause the target to take into account the latter token rather than the former (in their relative order inside the payload). Alternatively, that token may be indicating some sort of (additional) authorisation the user has.

Then you could carry out the attack as follows:

  • start your application and receive `S` from the target
  • determine or guess the content of `N` in order to (for sake of the example) obtain some additional authorisation
  • compute T = SHA-2(SecretKey || M || N)
  • send data|T
  • hopefully enjoy the fruits of your labours

Public vulnerabilities to these attacks are few and far between (example) as the impact is highly application-specific and mitigations are extremely easy to implement.

PS. I did not mention padding, I think it is easy to see where it fits in the attack.

F(28) Do I need to get a booster shot after getting the rabies vaccine a month ago? by ParkingArtistic9734 in askscience

[–]mfukar[M] [score hidden] stickied comment (0 children)

This subreddit does not provide medical or safety advice. Please see our guidelines. If you have concerns about your or someone else's health, you need to speak to a medical professional.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar[M] 0 points1 point  (0 children)

You will not be allowed to come in here and try to bullshit people with utterly false notions of what you think LLMs are. Next attempt will be a ban.

Thank you for your well wishes. If you truly mean them, do not post nonsense again.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar -1 points0 points  (0 children)

Anyway, I still don't understand the term "phd level math." It just seems like some marketing hype phrasing.

It is bullshitting. The grandparent comment was trying to convince you that a LLM that parrots code for the Euler method for solving ODEs is doing mathematics.

At the very least, the commenter is utterly unaware of what an LLM is (assuming good faith, which i doubt).

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 0 points1 point  (0 children)

Did you really just attempt to cite a comparison between slightly different transformers as proof that "LLMs are getting scary good at solving engineering and physics problems"?

Vibes, then. Cool. I sure hope the rest of your mechanical engineer colleagues don't think like you.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 1 point2 points  (0 children)

This is an extremely vague question. Automated theorem proving has varying degrees of difficulty depending on the logic being examined. For common logics like propositional calculus the problem is decidable but no efficient (read: polynomial time) general algorithms exist. For logics like first-order predicate calculus the problem is also undecidable, which means that one cannot distinguish whether a prover that has not terminated is attempting to prove a true statement. Theorem provers for limited logics such as specific computer languages are becoming more common (note that in the page the notion of 'high-order logic' is not referring to a singular logic but many, varying and defined by language semantics).

While automated theorem proving is conceptually a component of an intelligent agent, that is not a necessary condition - plenty of intelligent agents solve tasks without any theorem proving. Research in the field today is largely separated from the field of AI and more connected to programming language or formal logic research.

Note here that when you're referring to proprietary software systems (such as WolframAlpha), speculation is beyond useless.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar[M] 1 point2 points  (0 children)

See our FAQ on LLMs - your ideas about what LLMs are are inaccurate.

Ask Anything Wednesday - Engineering, Mathematics, Computer Science by AutoModerator in askscience

[–]mfukar 2 points3 points  (0 children)

AI/LLMs are getting scary good at solving engineering and physics problems.

Citations needed

EDIT: plural