If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of mathematical research. In a talk on this topic [Kevin ...
First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results