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
4,22 mil
43
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente 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 vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.