Content
@
https://warpcast.com/~/channel/math
0 reply
0 recast
0 reaction
EulerLagrangodamus
@eulerlagrange
I think AI will take longer to be used in novel mathematical proofs vs helping write papers/LaTeX. In math, the informal reasoning and tinkering that built up to a novel idea is scrapped at the end. In favor of very formal reasoning that’s always hard to learn from. Math proofs and pedagogy are completely different. So the data isn’t as good.
1 reply
0 recast
5 reactions
depatchedmode
@depatchedmode
You will probably really enjoy this, which covers exactly that topic: https://podcasts.apple.com/ca/podcast/lex-fridman-podcast/id1434243584?i=1000712908152
1 reply
0 recast
0 reaction
EulerLagrangodamus
@eulerlagrange
Seent it
1 reply
0 recast
1 reaction
