4 ms·
This doesn't contradict anything he said though. People on HN care only because an LLM proved a very difficult conjecture, not because we are independently inte
by cubefox 3mo ago
This doesn't contradict anything he said though. People on HN care only because an LLM proved a very difficult conjecture, not because we are independently interested in this conjecture.