3 ms·
https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/ is the one I've heard of previously in regards to LLMs solving previous Erdős problems.
by steveklabnik 6mo ago
https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/ is the one I've heard of previously in regards to LLMs solving previous Erdős problems.