Matthias Geihs pfp
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