The function of LLM-based math "proofs"

(tante.cc)

1 points | by cdrnsf 6 hours ago ago

2 comments