'Proving it first' won't be enough anymore and that's for the better.
With what's happening right now I think the math community may have to rethink what it values. Until now one of the clearest markers of an important mathematical contribution was proving a theorem that had previously been open. But if increasingly capable LLMs can routinely solve open problems simp…
Read the full story at r/OpenAI ↗
Timeline · 1 report
- 2026-10-07 13:01 · r/OpenAI
'Proving it first' won't be enough anymore and that's for the better.