Diego Ruano

2.5K posts

Diego Ruano banner
Diego Ruano

Diego Ruano

@dRuanoB

Professor of Mathematics at @IMUVa_, Mathematics Research Institute at the @UVa_es. Coding theory, cryptography, computer algebra and algebraic geometry.

Valladolid, España Katılım Mart 2013
350 Takip Edilen213 Takipçiler
Diego Ruano retweetledi
Quanta Magazine
Quanta Magazine@QuantaMagazine·
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…
English
1
11
56
5.1K
Diego Ruano retweetledi
The Japan News
The Japan News@The_Japan_News·
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
English
1
4
13
715
Diego Ruano retweetledi
Davis Brown
Davis Brown@davisbrownr·
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.
Davis Brown tweet media
English
10
74
394
35.2K
Diego Ruano retweetledi
Anthony Bonato
Anthony Bonato@Anthony_Bonato·
Happy St. Patrick's Day
Anthony Bonato tweet media
English
2
20
209
6.7K
Diego Ruano retweetledi
Ministerio de Educación, FP y Deportes
➗📐 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
Ministerio de Educación, FP y Deportes tweet media
Español
15
51
131
691.7K
Diego Ruano retweetledi
RSME
RSME@RealSocMatEsp·
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!!! 🔢
RSME tweet media
Español
1
37
94
2.3K
Diego Ruano retweetledi
James Zou
James Zou@james_y_zou·
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…
James Zou tweet mediaJames Zou tweet mediaJames Zou tweet media
English
74
236
1.6K
181.3K
Diego Ruano retweetledi
Elisa Silió
Elisa Silió@ElisaSilio·
¿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…
Español
0
32
46
1.2K
Diego Ruano retweetledi
EL PAÍS Madrid
EL PAÍS Madrid@el_pais_madrid·
“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/…
Español
5
179
247
12.9K
Diego Ruano retweetledi
Elisa Silió
Elisa Silió@ElisaSilio·
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…
Español
4
22
48
11.9K
Diego Ruano retweetledi
EL PAÍS Madrid
EL PAÍS Madrid@el_pais_madrid·
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/…
Español
4
21
30
2.7K
Diego Ruano retweetledi
Dan Roy
Dan Roy@roydanroy·
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.
Dan Roy tweet media
English
22
193
850
106.7K
Diego Ruano retweetledi
Math, Inc.
Math, Inc.@mathematics_inc·
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
English
45
339
2.3K
393.8K
Diego Ruano retweetledi
Eloísa del Pino
Eloísa del Pino@delPinoE·
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…
Eloísa del Pino tweet media
Español
2
59
122
14.7K