3 ms·
It might but the math results from GenAI so far have been limited to finding counterexamples to known conjectures, not building new mathematics.
by tantalor 24d ago
It might but the math results from GenAI so far have been limited to finding counterexamples to known conjectures, not building new mathematics.
- cma 23d ago> results from GenAI so far have been limited to finding counterexamples Not all. Ehrhart’s volume conjecture Quantum parallel repetition for general two-player quantum games Erdős Problem #183 on multicolor Ramsey numbers Erdős–Sárközy Problem #12(i)/(ii) Erdős Problem #125 Log-concavity of codimension-3, type-2 pure O-sequences Optimal O(1/t) last-iterate convergence for Anchored Gradient Descent-Ascent
- tantalor 23d agoTrue, these results are from last month. My info was a little out of date. Prior updated :)