Frontier models are being credited with results on named open problems in math — a concrete reference point for how far model-assisted research reasoning has moved, and for what to expect on hard verification-heavy work.
Checking sign-in…
Loading comments…