We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
@diazgiles He pasado por 6 sillas diferentes y todas, en menos de 4 meses, fallan en algún punto: rechinan, se vencen, se aguangan, etc.
Cansado de dolor de espalda gasté 9 mil en una Herman Miller Aeron de segunda mano, un dineral pero valió la pena, pagaría unos 15 por ella sin dudar
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://t.co/DQDemHdytV
Platzi gratis para todos los salvadoreños.
Los que buscan crecer encontrarán oportunidades, herramientas, caminos viejos y caminos nuevos, puertas que se abren y ventanas también.
Los que buscan excusas encontrarán excusas.
Uno encuentra lo que busca.
@pokedaxi û for ultraleague, š for super, ğ for xxl, č for xxs, ð for dinamax and * for anything else like * 100, * 98, * 0 or * bg.
Tags: cc for change, mm for full megas, daily for megas in progress and friendship for in progress friendship, pow for tasks and hh to transfer pokemon home
@didacus91@freddier "Cada quien cuenta como le fue en la feria" decimos en Mexico. En tech estaba bien/normal, tienen certificacion Great Place to Work; no se como se obtiene ni, para mi, se la merecen. Las reviews parecen ser de ventas que eran cientos de empleados pero nunca los conoci como tal.
gpt-oss is out!
we made an open model that performs at the level of o4-mini and runs on a high-end laptop (WTF!!)
(and a smaller one that runs on a phone).
super proud of the team; big triumph of technology.