
Un no matemático construye una prueba en Lean de la conjetura de refinamiento de Conway de 1976
Una prueba en Lean de la conjetura de refinamiento de Conway de 1976, realizada por un no matemático y elegida por Claude.


Una prueba en Lean de la conjetura de refinamiento de Conway de 1976, realizada por un no matemático y elegida por Claude.

Un león marino muerto fue encontrado decapitado en Ocean Beach, en San Francisco, y expertos en vida silvestre dicen que parece que alguien le quitó la cabeza después de la muerte.

El Pentágono ha publicado su sexto lote de archivos sobre ovnis, incluidos documentos de un programa militar secreto que estudiaba tecnología alienígena.

Los matemáticos finalmente demuestran la conjetura del sándwich de grafos, conectando dos modelos de redes aleatorias tras décadas de esfuerzo.

Los materiales 2D apilados revelan multiferroicidad a temperatura ambiente y magnetismo controlado por voltaje, lo que apunta hacia dispositivos de memoria de bajo consumo.

Un telescopio en el firmamento cuenta con más combustible de lo previsto, y sus días de servicio podrían ascender a veintidós años o más.

Esta noche, la luna entra en su primera fase, a medio iluminar y gloriosa. Descubra qué buscar en el cielo y qué trae consigo la próxima fase. )

Un gato rescatado revela ser una nueva especie de tigrina salvaje, reescribiendo el registro de los felinos sudamericanos.

Una nueva especie de gato salvaje, Leopardus tilcayo, ha sido descubierta en la selva nublada Yungas de Bolivia tras décadas de clasificación errónea.

Un bloque sellado de cera, calentado por el fuego, impulsa una barra de hierro; así, el calor se transforma en movimiento, y el motor de cera trabaja su antigua labor. )

Nuevos datos sobre el criptón-88 cierran una brecha en los modelos estelares de estroncio, revelando cómo la captura neutrónica construye elementos pesados en estrellas en combustión.

Dos haces, una reacción: la obtención de imágenes por electrones y fotones revela que las nanopartículas de oro adoptan diferentes formas según cómo se observan.
Como Afiliado de Amazon, Clay Tribune obtiene ingresos por las compras adscritas que cumplen los requisitos aplicables.