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
And you might say, okay, well, AI can just do counterexamples.
It scanned a thing, it wrote down a function, we checked it.
And by the way, I should say you should look look up this counterexample.
It's on the wiki for Jacobian conjecture.
All you you literally just need high school calculus to check that this is right.
It is so easy.
You could check that it's right in like
No time at all, maybe five minutes.
Very, very easy to check, but this is an actual counterexample.
But what people are starting to use AI for is to actually write out proofs.
So now these models, what you can what you can do is you can say, show me, you know, a mild example of this would be teach me about conformal field theory or something, which I mentioned, I mentioned before.
And they can produce.
Something that looks like a scientific paper with equations and all the stuff and write it out as if it's a real, real research thing, and then people can check it.
Now, for more advanced math problems where they're actually trying to prove it and not just find a counterexample, I think we are getting close to something, and this is in fact already happening where AI cannot just find counterexamples but can actually come through and do more complex.
Complicated, interesting proofs.
Wow.
But I think a lot of mathematicians and physicists have that exact fear.
Okay.
And it is extremely, I think, unclear at present what the future you know, flash forward ten year, maybe five years, I don't know, what the role of humans in math and physics, theoretical physics, things like that, um are.
I I I c you know, from talking to colleagues in this
Showing 781–800 of 852 · page 40 of 43
← Previous
Next →