Vik
@vikbilakanti1
In my view, we are watching mathematical discovery shift into an empirical engineering discipline. Allocating three hours of test-time compute per proof to explore and verify reasoning chains fundamentally collapses the search space for researchers.
Derya Unutmaz, MD@DeryaTR_ · Oct 6Amazing! OpenAI just released solutions to hundreds of math problems: a GitHub repo with 722 manuscripts organized into 372 families. This incredible achievement was done with their internal Pro AI model, averaging 3 hours per problem.
As @alexwg already said: math is cooked!
Open quoted post →As @alexwg already said: math is cooked!
0 0