Content
@
0 reply
0 recast
0 reaction
Matthias Geihs
@matthiasgeihs
Can we use LLMs to aid machine assisted proofs? I think there is huge potential and so does Terence Tao. https://youtu.be/AayZuuDDKP0?si=iZEDMvAhITG8TOwA
0 reply
0 recast
0 reaction
