3 ms·
I don't understand why everyone is making fun of this. This is how math is seriously going to be done soon enough.
by ivape 1y ago
I don't understand why everyone is making fun of this. This is how math is seriously going to be done soon enough.
- otabdeveloper4 1y agoNo, it seriously won't. LLM's are useless for math, they can't into rigorous proofs. > but my olympiad benchmarks! Those are fake. Overfitting on the test set.