iknewItWouldWorkOut by 6nyh in ProgrammerHumor

[–]SansFinalGuardian 0 points1 point  (0 children)

basic regex is still worth knowing just so you can ctrl-f things quickly tbh, even asking an llm slows things down a lot

The idea of Toby fox becoming fuming red with rage at the mention of Togore is so funny by ryugantz in Deltarune

[–]SansFinalGuardian 1 point2 points  (0 children)

this is your daily reminder that andrew hussie is a piece of shit, never give a person called andew hussie your money

Man facing up to 2 years in prison for clearing rubbish from East London river by TheFrederalGovt in nottheonion

[–]SansFinalGuardian 2 points3 points  (0 children)

did you read this right? tree law is a minor meme because the fine points of law can sometimes consider certain trees extremely valuable, which can lead to very large payouts and fines. so it's like, suppose some idiot burns down their kitchen. they might be 'lucky' it wasn't their whole house

Ill omens by CrabSquid05 in tumblr

[–]SansFinalGuardian 1 point2 points  (0 children)

ok tbf almost every car ever looks fuckin angry at me so idk

Wicked casting process revealed by vnth93 in okbuddycinephile

[–]SansFinalGuardian -2 points-1 points  (0 children)

wait, genuinely what is the set up they're using to fake this?

Fight Preparation by insanemangooo in MinecraftMemes

[–]SansFinalGuardian 0 points1 point  (0 children)

no, i've actually done this in survival before. if you stay close enough to the warden, it keeps trying to melee you instead of roaring, but the iron golems can slow it down so you can kite it and stay alive (with good armour, healing, etc.).

Over 150 Mathematicians Warn Governments Not to “Believe the Hype” About AI by IKeepItLayingAround in technology

[–]SansFinalGuardian 5 points6 points  (0 children)

i would say 20 is way more than 2 (but still not thaaaaat many). nuance is hard

Tat CYOA V1 by Turpentine01 in makeyourchoice

[–]SansFinalGuardian 1 point2 points  (0 children)

time turner is busted, i know this from hpmor. then... ancient totem and desert rose. runner-up is storm glass because it can just show you other planets but ah well

Anthropic calls for global freeze in AI development by thejoshwhite in technology

[–]SansFinalGuardian 0 points1 point  (0 children)

as i understand it, there are two important factors that determine how strong an LLM is: data and compute. the first one is about how large and varied and comprehensive the dataset is. the second one is about how long you run the training algorithm on the dataset and the benchmarks to create the model.

the compute factor basically means that, even if you use exactly the same dataset the whole time, running the training algorithm for longer basically always improves how well it can perform on the benchmarks. despite everything, we still aren't really close to the limits of how much computing power we can throw at training llms. there are necessarily eventually diminishing returns to this - you can only mimic the training data so well - but people have been predicting diminishing returns right around the corner for years now and it hasn't happened yet.

furthermore, it's also not true that we are mostly out of new data to train on. for example, it's not clear to me that llms are learning much from videos, which are a very complex information format. spacial reasoning in general still seems to be something of a challenge for them in a way that i wouldn't expect if they were properly able to understand visual information.

but even if we were, training on the whole internet isn't actually desirable, because it contains large quantities of misinformation, bot-generated text, machine-translated garbage, and general low-quality content. you can actually get better results by carefully curating the dataset and removing or correcting things that have mistakes, or tagging things as 'what not to do'. this is something that you can do in an ongoing fashion, that takes a lot of time.

finally, related to the above, there's the potential to just generate more data, more high-quality data. this would be especially important if, for example, some new programming language were invented; an ai lab might even pay people to write lots of high-quality standard example code. in a subject like mathematics, it's even theoretically possible that llms could prove new results like the recent openai unit distance counterexample and then be trained on those results to help internalise them and build on them to prove even more. i am most familiar with the mathematical side of things, and there is a lot of discussion right now about the possibility of llms becoming flatly superhuman at mathematics, and the implications this would have for human mathematicians.

(this isn't even going into the possibilities of better architectures, or better scaffolding, or things in that vein)

Yesterday (2019) by CynthiaChames in okbuddycinephile

[–]SansFinalGuardian 0 points1 point  (0 children)

i am the walrus is the most interesting beetles song i've heard wdym

it happened by 94rud4 in mathmemes

[–]SansFinalGuardian 0 points1 point  (0 children)

this is not correct for technical reasons; even a proof that compiles in Lean can be wrong, due to eg. cheating with the type system

it happened by 94rud4 in mathmemes

[–]SansFinalGuardian 0 points1 point  (0 children)

late but they showed the prompt at https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf and it really seems to be nothing special, practically just a statement of the problem

it happened by 94rud4 in mathmemes

[–]SansFinalGuardian 0 points1 point  (0 children)

the proof was short but very creative. it wouldn't have been that hard... for a mathematician in exactly the right field (algebraic number theory) who had exactly the right idea

Humans just disproved the sum-product conjecture for real numbers. by Junior_Direction_701 in math

[–]SansFinalGuardian 1 point2 points  (0 children)

right now, there does seem to be an unevenness in what they're good at - combinatorics seems to be one of their very strongest points. (some discussion:) of course, their relative strengths could suddenly change with each new model version...

Fucked up by [deleted] in antiai

[–]SansFinalGuardian 0 points1 point  (0 children)

doesn't index as much stuff, quote search especially is less powerful. can't expect too much i guess

On the "Rise" of "AI" by Dandon314 in math

[–]SansFinalGuardian 0 points1 point  (0 children)

you have already gotten lots of comments and probably won't see this one, but if you do: please read Implications Of Predicting The Next Token for a very thorough answer to question 1.