mario

Math guy doing engineering

[mario @MarioGzSl]

@JustinBleuel @ChatGPT If I’m in Codex and want to quickly open a ChatGPT chat, it takes too many clicks

[mario @MarioGzSl]

@usludurkizim 72

[Thariq @trq212]

very weird thing happening rn

technical people are sad, they think their skills are now useless

non-technical people are desperately wishing they were more technical so they could use agents better

[mario @MarioGzSl]

@freddier Realmente, también puedes pensar mientras hablas, darle vueltas a la idea y así darle más contexto al prompt. No es necesario tener un prompt perfecto desde el comienzo

[Lisan al Gaib @scaling01]

GPT-6.1-Sol reasoning traces

totally legible, nothing to worry about

[Pronsh @notpronsh]

@theo they cached the universe, they did it. We are all cache now.

[Vlad v/acc @Vladfdp]

@NoahCitron Tbf I just think we’re not smart enough to see the beauty in those “ugly” results

[Josu San Martin @josusanmartin]

This is incredible

[mario @MarioGzSl]

@pcshipp I really like the calls with dots

[mario @MarioGzSl]

Let’s Jeving, I guess

[The Math Flow @TheMathFlow]

Solving a Rubik's Cube with graph theory.

[roon @tszzl]

it’s not a Millennium problem unless there’s a strange and bitter conflict over credit and the winner declines the prize

[mario @MarioGzSl]

what a wild moment to be alive

[OpenAI @OpenAI]

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.

[mario @MarioGzSl]

@Raizerinho @midudev 1-(1.25/1.5)=0.167 ~ 17%

[mario @MarioGzSl]

@polispol solo desactivas la aceleración de gráficos del navegador

[Yao Zhang @YaoZhangX]

LTX 2.5 JUST WENT FASTER THAN REAL TIME

LTX (@ltx_io) is already one of the world's most widely used open video models. We just made its latest release, LTX 2.5, fast enough for rapid iteration and affordable enough for production at scale. 

It’s live on @TensorScaleAI now, generating a 5-sec 1080p video in just 3.12s at $0.04 per second. That's faster than real time, at a fraction of the cost!

For creative teams, that means less waiting time, more ideas explored, and lower production costs.

For robotics and physical AI teams, that means more data generated at scale, more scenarios tested, and shorter development and deployment cycles.

Request early access today and we’ll get you onboarded!
(link: https://t.co/0PAXBDiNir)

[mario @MarioGzSl]

@NVIDIAGeForce #RTXPowersPlay

[Noam Brown @polynoamial]

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.

We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i

[Kimi.ai @Kimi_Moonshot]

Releasing the model weights and technical report of Kimi K3.

Kimi K3 is our most capable model: a 2.8T MoE model with native visual understanding and a 1M-token context window.

New model architecture: 2.5x the intelligence per unit of compute, not just more params.

Alongside Kimi K3, we're opening up more of the stack behind it — high-performance attention kernels, MoE communication library, and infrastructure for running agent environments at scale.

Model weights: https://t.co/7m7eEg6Y0B
Tech report: https://t.co/yeu6cjpMCT
Tech blog: https://t.co/YTfiMSNM1f