A mathematician working at Anthropic has posted what could become one of the most consequential AI-assisted mathematics results yet: a proposed construction ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results