https://technews.woxter.com/es/ia-articulos-matematicas-demostraciones-lean/DIGITAL WOXTER TECHNEWSes2026-10-19T19:25:44+00:00La IA escribe 700 artículos de matemáticas: qué comprueba Lean https://technews.woxter.com/ai-maths-papers-lean-proofs/DIGITAL WOXTER TECHNEWSen2026-10-19T19:25:44+00:00AI wrote 700 maths papers: what Lean proof checks really mean https://technews.woxter.com/es/primera-estrella-verde-enana-blanca/DIGITAL WOXTER TECHNEWSes2026-10-19T19:25:43+00:00Descubren la primera estrella verde: una enana blanca https://technews.woxter.com/first-green-star-white-dwarf/DIGITAL WOXTER TECHNEWSen2026-10-19T19:25:43+00:00First green star found: a dead star that glows chartreuse https://technews.woxter.com/es/peine-frecuencias-chip-relojes-atomicos/DIGITAL WOXTER TECHNEWSes2026-10-19T19:25:42+00:00Peine de frecuencias en chip: relojes atómicos más pequeños https://technews.woxter.com/chip-frequency-comb-two-lasers-atomic-clocks/DIGITAL WOXTER TECHNEWSen2026-10-19T19:25:42+00:00Chip frequency comb: a step toward pocket-size atomic clocks