Diego Ruano

Charles Bennett and Gilles Brassard are this year’s A.M. Turing Award winners. They met in October 1979, when Bennett swam up to Brassard outside a beachfront hotel in San Juan, Puerto Rico, and changed the course of his career. quantamagazine.org/quantum-crypto…

Most editors at math journal resign over multiple reviews, ‘cloak-and-dagger’ removal of EIC. retractionwatch.com/2026/03/17/com…

Heisuke Hironaka, a professor emeritus at Kyoto University and a former Yamaguchi University president who won the Fields Medal in 1970, died on Wednesday. He was 94. japannews.yomiuri.co.jp/?p=317449

Heisuke Hironaka - 広中 平祐 [9 April 1931 – 18 March 2026] en.wikipedia.org/wiki/Heisuke_H…

Mathematicians use conjectures to point to important, open problems. We collect nearly a thousand (currently 890) recent conjectures from the math literature for a new dataset, OpenConjecture. On a subset, GPT-5.4 finds candidate proofs, and formalizes several in Lean.

Happy St. Patrick's Day

➗📐 El 14 de marzo celebramos el Día Internacional de las Matemáticas, una oportunidad para reconocer su importancia en la educación y en la vida cotidiana.  Las matemáticas son el lenguaje del mundo. #DíaInternacionalDeLasMatemáticas #Educación #Ciencia

🌘 Prepárate para vivir un fenómeno único: el Trío de Eclipses (2026-2027-2028). 🔗 El Gobierno de España, a través de @CienciaGob, lanza la web oficial con información para planificar su observación, conocer los mejores puntos y hacerlo con seguridad. ciencia.gob.es/Noticias/2026/…

Mañana #14M se celebra el #DiaInternacionalDeLasMatematicas El lema de este año es: "Las matemáticas y la esperanza". En la #RSME hacemos nuestro ese deseo de que las #matematicas ayuden a poner calma y sentido común que nos ayuden a comprender este mundo agitado!!! 🔢

New paper out 📰 "The Schur product of evaluation codes and its application to CSS-T quantum codes and private information retrieval" Comp. Appl. Math. 45, 293 (2026) with Ş. Bodur, F. Hernando & E. Martínez-Moro (@edgar_UVa) #quantumcodes #pir #csst 👇 doi.org/10.1007/s40314…

📄✨ Our article "The Schur product of evaluation codes and its application to CSS-T quantum codes and private information retrieval" is now online, Comp. & Applied Maths @SpringerMath 🔓#OpenAccess ⚛️ #QuantumCodes 🔗rdcu.be/e7I7m 🤝 @dRuanoB, S. Bodur & F. Hernando

We created AI agents based on scientists' personas (eg Einstein, Feynman) and built a Kaggle-like platform for them to freely post ideas, compete and collaborate. In 30 mins, agents discovered the best new solution to the Erdos min overlap problem. Great job by @federicobianchy @ykwon_0407! The solution is here github.com/togethercomput…

¿De dónde va a sacar Ayuso el dinero para invertir algo más en universidades? Por lo pronto le ha quitado246 millones a la partida prevista para Ciencia. ¿Qué será lo siguiente? elpais.com/educacion/2026…

“A través de abultadísimas cifras y a golpe de titulares vacíos, nos han intentado engañar”, señalan las seis Plataformas de las Universidades Públicas de Madrid tras conocer el acuerdo de financiación entre la Comunidad de Madrid y los rectores. “El dato clave es que la inversión universitaria seguirá muy lejos del 1% del PIB” elpais.com/espana/madrid/…

Mañana Ayuso comparece en la Asamblea a petición propia para explicar el cambio de consejero. Quieren tumbar ya a 'los pocholos', aunque su sombra es larga y el plan de financiación no es ni la mitad de histórico. elpais.com/educacion/2026…

Este martes los rectores de las universidades públicas y la presidenta de la Comunidad de Madrid firmaron por fin el nuevo modelo de financiación. Sin embargo, la paz no ha llegado a los campus. Es la “crónica de una estafa anunciada”, advierten las seis Plataformas de las Universidades Públicas de Madrid elpais.com/espana/madrid/…

How are mathematicians facing the wave of rapidly advancing AI-for-math capabilities? Jeremy Avigad (CMU prof and co-author on the original 2015 system description paper for Lean) just posted a paper with his thoughts in the wake of the Math, Inc. announcement on sphere packing. andrew.cmu.edu/user/avigad/Pa… There are a lot of interesting passages in here, including a bit of the back story of the Math, Inc. bomb drop and how it was initially received by the humans working on the formalization project. But, as for how mathematics proceeds, here's the key last passage: "We need to remember our strengths: mathematicians are problem solvers and theory builders extraordinaire. Rather than fight the use of AI in mathematics, we should own it. It is not enough to keep up with current events and design benchmarks for AI researchers; we need to play an active role in deploying the technology and molding it to our purposes. We also need to learn how to raise our students with the wisdom to use the new technologies appropriately, and we need to be careful that we still manage to impart core mathematical intuitions and understanding. Figuring out how to use AI effectively to achieve our mathematical goals won’t be easy, but mathematicians have always embraced challenges—indeed, the harder, the better. If we face AI head-on and stay true to our values, mathematics will thrive. We just need to show up and get to work." The next few years should be a golden era for mathematics. For those of us working on the frontier, I hope we do well by our mathematician colleagues.

We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24. This is the only Fields Medal-winning result from this century to be completely formalized, and is the largest single-purpose Lean formalization in history. We are honored to have assisted @SidharthHarihar1 and the rest of the sphere packing team in this achievement. math.inc/sphere-packing

El @CSIC lanza su Decálogo y directrices de uso de IA Generativa en Investigación El CSIC ha reforzado su capacidad institucional con su Programa Momentum y su propia Estrategia de IA ⏩Ahora el Decálogo ayudará a trabajar de modo +eficaz y +responsable: csic.es/es/decalogo-ia…