MSc. in Applied Mathematics interested in cryptography, specifically, in secure multiparty computation. Working at @hashcloak.
Medellín, Colombia
Joined April 2017
- Tweets1.1K
- Following846
- Followers269
- Likes4.7K
Internet is getting cooked x2
Node.js Security Advisory: a high-severity RCE flaw in Node's Brotli decoder affects Node.js 22, 24, and 26.
Vercel WAF rules are live for every project and block known exploit patterns.
vercel.com/kb/bulletin/node-…
Hernán Vanegas retweeted
Two other safety researchers and I were fired from OpenAI last week. We wrote this letter to leadership.
I believe we were fired for prioritizing safety over the near-term interests of OpenAI as a corporation.
Hernán Vanegas retweeted
I've been working on a tool to help humans write and understand game-hopping security proofs. It's just for "pen-and-paper" reasoning, not a formal verification tool. 1/3
Hernán Vanegas retweeted
Margaret Hamilton, pionera de la informática y líder del equipo que desarrolló el software de las misiones Apolo, murió a los 90 años.
👉🏻ow.ly/VvYw50ZVNmR
¿Se moverá la matemática a un área donde revelar en lo que se está trabajando se convierte en un riesgo de que alguien más con los medios suficientes resuelva el problema con IA? ¿Una matemática que resuelve problemas secretos?
Muchas preguntas, pocas respuestas. Aunque ya en matemáticas podría decirse "muchas preguntas, muchas respuestas" (Ba dum... Tsssss :v ).
De algúna manera, este investigador se verá enfrentado a la posibilidad de un "Ups! alguien más resolvió el problema que estaba atacando, me debo mover a otro problema". ¿Cómo afectará esto a las personas que quieren investigar matemáticas y no tienen recursos?
A continuación, suelto una palabrería que posiblemente tiene errores y nadie la solicitó.
Con los nuevos resultados de OpenAI considero que los cambios en cómo se hacen las matemáticas van a ser considerables.
o investiga por su cuenta, sin usar la IA como una caja negra, solo por el placer de resolver problemas. Se asume que en este último caso, el investigador no cede ante la presión de la academia por encontrar resultados, y por el contrario, tiene la oportunidad de "saborear"
Por un lado, hay una nueva posibilidad en el proceso investigativo. Un investigador que se enfrente a un problema soluble por la IA estará en la posibilidad usar la IA para simplemente extraer el resultado y pasar al siguiente problema,
Algunos tal vez digan que los problemas en matemáticas son bastantes, que incluso pueden haber problemas que no sean alcanzados por la IA. La verdad no lo sé. De lo que estoy seguro es que hay varios escenarios a considerar en las fronteras investigativas de las matemáticas.
Con una mano postean en X que van a ser prudentes, pero con la otra meten prompts a lo loco...
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
Hernán Vanegas retweeted
Have you been wanting to build ZK apps on Solana but can't find a turnkey solution without having to cobble together a ZK proving pipeline that works on Solana?
Our friends @reilabs_io built Sunspot and we did audited it.
Read the case study 👇
hashcloak.com/case-studies/s…
Hernán Vanegas retweeted
Sam Altman is warning the world about Sam Altman, and says we need to stop Sam Altman because Sam Altman can’t stop Sam Altman.
