Interesting, last week ttao proved a weaker version arithmetic Kakeya conjecture that was suggested by alphaevolve
(1.6 below figure)
Kinda cool that not only AI systems assist with difficult theorems but also actively inspires / extends best researchers beyond 'mere instruct following'
I dont understand the proof (at least not yet) but definitely interesting read for the thanksgiving!

correction: it seems like this isnt 'weaker version' in the sense that arithmetic kakeya conjecture doesnt imply theorem 1.3
5.2 K
50
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.

