3 ms·
This is not the simplest explanation. The most direct line from problem to proof is OpenAI building off of conversations the mathematicians had with their AI.
by alangibson 18d ago
This is not the simplest explanation.
The most direct line from problem to proof is OpenAI building off of conversations the mathematicians had with their AI.