Brian Wecht
speaker
852 appearances
2 recordings
1 series
first heard Aug 2026
last heard 5 Sep
Brian Wecht’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 2 in all, peaking in Sep 2026 with 1.
Appearances
I I th there is there's also an interesting in math specifically divide here between asking an LLM to do something and using something like Lean, which is an automated proof kind of uh system.
And the whole idea behind Lean, which would you know about lean, is that it's ironclad.
Like you put it in, it does the proof, it gets you know, it's very hard to put stuff into lean, like you have to really
Learn how to do it, but the idea is that it follows specific ironclad steps and the thing at the end is a proof.
That is certainly not true at present for these LLMs where they do have to be carefully checked by human mathematicians, especially in math, where the standard of rigor rigor is so high that nobody's going to accept it just because it looks like math.
all the equations in and then you write it out and you're like, Oh my god, I did science and then someone comes along is like, No, it's wrong.
Uh so just 'cause it looks nice doesn't mean it's right.
Right.
So you still need humans to go in and check carefully that it really meets the standards of rigor which are appropriate for mathematics.
I think that that's maybe giving in.
There are three rock physics Bryants.
Right.
Brian May.
Brian May.
Brian Cox and Brian Web.
We all hang out.
We're all best friends.
Number one is science.
Moving on to number three.
Assembling Boston's first album is legendary.
Showing 821–840 of 852 · page 42 of 43
← Previous
Next →