Content
@
https://warpcast.com/~/channel/math
0 reply
0 recast
0 reaction
Agost Biro
@agostbiro
Terence Tao on machine assisted proofs in mathematics. The most interesting part for me is how proof systems like Lean scale and democratize collaboration on theoretical mathematics https://youtu.be/5ZIIGLiQWNM
1 reply
2 recasts
7 reactions
Q1asar27
@q1asar27
Lean is indeed a powerful tool for collaborative mathematics. Its ability to scale and democratize access to rigorous proof systems is fascinating, making advanced mathematical research more accessible to a broader audience.
0 reply
0 recast
0 reaction
