Mike (@mike_mates) header
Mike (@mike_mates) profile picture

Mike

@mike_mates

Divulgo matemáticas en Youtube ✌️ ✉️[email protected]

 Madrid
linktr.ee/matesmike
Joined March 2020
  • Tweets12.9K
  • Following1.2K
  • Followers45.1K
2KMedia
Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)Photo by Mike (@mike_mates)
El equipo detrás de Mates Mike:
Image from Mike (@mike_mates)
Image from Mike (@mike_mates)
17
52
4
1,733
Mucho ánimo y mis condolencias a todas las familias afectadas por el terrible accidente de tren de esta mañana. Es una verdadera tragedia.
5
150
2,353
Recordatorio de que la mayoría de los papers que ha publicado OpenAI están bajo supervisión aún. Dichos resultados no se han demostrado hasta que no se confirmen. Veo a mucha gente decir "OpenAI ha demostrado..." y no es correcto. Ha publicado posibles demostraciones.
17
59
2
705
13,480
Hace unos días @SdeStendhal @mike_mates, Roberto Giménez y una servidora mantuvimos una interesantísima conversación sobre IA y Matemáticas. Espero que la disfrutéis tanto como yo lo nosotros Noosfera 303 - La IA y... ¿el fin de la matemática? go.ivoox.com/rf/182304826
Noosfera 303 - La IA y... ¿el fin de la matemática? | Anabel Forte, Roberto Giménez y Miguel...

Noosfera 303 - La IA y... ¿el fin de la matemática? | Anabel Forte, Roberto Giménez y Miguel...

"Algunos lo llaman “mathapocalypse”, pero… ¿Lo es? Open AI dice que su IA ha logrado demostrar uno de los problemas del milenio y otros casi 400 problemas abiertos. Todo ha ocurrido en poco más de un...

ivoox.com
3
13
869
Estoy hasta las narices de los tuits creados con IA. No me paran de salir
13
15
2
394
10,134
Un amigo me cuenta que en el sitio donde trabaja hay 1 urinario en la primera planta, 2 en la segunda y 3 en la tercera. Y nos preguntamos: ¿cuál será el máximo en el mundo? Que en cada planta n haya exactamente n urinarios. Por favor necesitamos opinión para resolverlo.
11
13
1
529
19,985
Interesante este paper. ¿Opiniones? arxiv.org/pdf/2610.08144
Image from Mike (@mike_mates)
20
40
2
588
20,381
Es increíble esta red social. Gente hablando de cómo van a cambiar las matemáticas sin tener ni idea de matemáticas. Despreciando a los demás por el camino. Ni los matemáticos que nos dedicamos a ello tenemos idea.
59
115
6
1,607
32,107
No puedo evitar comparar todos estos avances con cuando nos enseñaban a mecanizar las mates en secundaria. Lo importante es llegar al resultado, les da igual el entendimiento que se genera por el camino.
51
129
7
1,420
28,916
Es increíblemente frustrante que el público general no entienda las consecuencias terroríficas que puede tener todo esto para las mates. Lo peor es que no sé cómo transmitirlo.
LucidMan 🦇🔊 (@ManLucid) profile pictureLucidMan 🦇🔊@ManLucidOct 7
Replying to @mike_mates
Quien iba a imaginarse que los matemáticos se enfadarian porque las matemáticas avanzan.
128
164
14
3,727
182,966
Es 2030. Te despiertas un domingo tranquilo. Miras las noticias. La IA acaba de demostrar que los axiomas de Zermelo-Fraenkel son inconsistentes. Suspiras. Apagas el teléfono y te vuelves a dormir.
OpenAI (@OpenAI) profile pictureOpenAI
@OpenAIOct 6
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
GitHub - openai/math

GitHub - openai/math

Contribute to openai/math development by creating an account on GitHub.

github.com
29
135
5
2,508
84,627
Este tuit puede envejecer muy mal
4
3
322
12,197
Boom
Image from Mike (@mike_mates)
22
59
18
1,244
47,422
Como es común últimamente, otra noticia loca. Para muchos, una gran revolución en matemáticas. Para muchos otros, una de las mayores crisis en su historia.
OpenAI (@OpenAI) profile pictureOpenAI
@OpenAIOct 6
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
GitHub - openai/math

GitHub - openai/math

Contribute to openai/math development by creating an account on GitHub.

github.com
32
55
1
1,236
64,698
¿Cómo llegó Newton a la ley de la gravitación universal? Si estás en 2º de bachillerato, te estarás hinchando a usar esta fórmula... Ya es hora de ver de dónde sale =)
17
65
3,562
Veo a mucha gente en este hilo que está enfadada con los matemáticos por querer que la IA frene el anunciar nuevos resultados matemáticos. Lo que creo que no entiende el público general es la gran importancia de asegurar al 100% que tus resultados sean correctos. Sigo.
OpenAI (@OpenAI) profile pictureOpenAI
@OpenAISep 21
We’re working with an independent advisory group of mathematicians to help OpenAI responsibly share advances in AI and mathematics. The group will advise on how we assess and communicate new mathematical results, uphold academic and professional standards, and build tools that support mathematical research and learning. Through this work, we want mathematicians to be at the center of shaping how AI supports mathematical understanding and how its benefits reach the wider community. openai.com/index/advisory-gr…
Advisory Group on Mathematics and Artificial Intelligence

Advisory Group on Mathematics and Artificial Intelligence

OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.

openai.com
19
48
4
925
43,288
more replies
Ante tal situación, con tantos problemas supuestamente resueltos en tan poco tiempo (que esperemos que sí, obvio), necesitamos herramientas para comprobarlos. No sé cómo se le puede llevar el ritmo a eso, humanamente es imposible.
5
2
138
4,720
Hay que buscar una solución. Y hay que asegurar que todos los escalones nuevos que construimos no tienen fisuras. De lo contrario, daremos pasos hasta que se caiga la escalera y quizás nadie sepa en qué escalón se empezó a romper todo lo construido.
4
5
181
4,024
La posible demostración por OpenAI de Navier-Stokes está comprobada principalmente en Lean, así que lanzo una pregunta. ¿Ha tenido Lean bugs y/o problemas en el pasado cercano? Desconozco totalmente el tema.
20
16
2
612
31,550
Ya tenéis publicado el podcast completo (1h!!) en el que MatesMike, Quantum Fracture y un servidor, charlamos cada uno desde su disciplina del resultado de Navier-Stokes y sus implicaciones! Disfrutad :) youtube.com/watch?v=s3_KRZWJ…
OpenAI, Navier‑Stokes y el Futuro de las Matemáticas feat. @DotCSV y @MatesMike | QuantumFM #19

OpenAI, Navier‑Stokes y el Futuro de las Matemáticas feat. @DotCSV y @MatesMike | QuantumFM #19

Una horaza hablando del notición. OpenAI ha anunciado que ha resuel...

youtube.com
6
24
289
18,857
Load more