2 ms·
February 13th is a pretty close deadline. They should at least have given a month.
by happa 8mo ago
February 13th is a pretty close deadline. They should at least have given a month.
- blenderob 8mo agoFebruary 13 seems right to me. I mean it's not like LLMs need to manually write out a 10 page proof. But a longer deadline can give human mathematicians time to solve the problem and write out a proof. A close deadline advantages the LLM and disadvantages humans which should be the goal if we want to see if LLMs are able to solve these.