AI megathread

Valmar, I'll be honest about why I rarely engage with your posts: it's consistently clear that you're arguing about fields you haven't studied, and it shows. Not in a subtle way. This post is a good example.

Curious - did you ever end up watching that Parnia presentation? I recall you criticizing Parnia based on a summary by someone else...

Valmar, I'll be honest about why I rarely engage with your posts: it's consistently clear that you're arguing about fields you haven't studied, and it shows. Not in a subtle way. This post is a good example.

Claim: "LLMs are abysmal at mathematics."

Clearly false. One example (note how I link to references when making strong claims)

You yourself argue about fields you clearly haven't studied, and it shows... so, uh, there's some amusing irony. Not that you're aware of it, if you can make such comments.

Maybe you should watch the video I linked... it explains very clearly how and why LLMs are actually awful at mathematics. Well, I'll link it again.



@9:20 is where you want to watch for a demonstration of the mathematical prowess of LLMs.

Curious - did you ever end up watching that Parnia presentation? I recall you criticizing Parnia based on a summary by someone else...

Please remind me of which Parnia video you are reffering to - I have been away for a long time.

You yourself argue about fields you clearly haven't studied, and it shows... so, uh, there's some amusing irony. Not that you're aware of it, if you can make such comments.

Maybe you should watch the video I linked... it explains very clearly how and why LLMs are actually awful at mathematics. Well, I'll link it again.



@9:20 is where you want to watch for a demonstration of the mathematical prowess of LLMs.

Finally got around to watching this, really like the part you emphasized about "Jagged Intelligence".

I would be more convinced about LLM intelligence i[f] someone could explain how the prior theorem prove[r]s work on an algorithmic level and THEN tell me what LLMS are doing that is beyond this.

From what I have read the LLMs actually utilize existing theorem proving programs among other tools for other domains....well when the whole thing isn't dependent on some exploited poor people forced to make the LLMs look good...