If AI can crack the hard math problems, the article could just show one. The doom framing is a tell that there's nothing concrete to report yet.

It’s referring to the Navier-Stokes problem allegedly solved by OpenAI (likely with guidance by human experts working at OpenAI, plagiarism of human experts who were customers of OpenAI, Lean, and a lots of compute). The headline and article are not great but that specific claim isn’t really far fetched

Quantization and speculative decoding unlocked major savings for our smaller models. Still chasing that ideal cost/performance ratio.

Ah, the distributed amoeba problem. Explains so much about why top-down mandates often just get absorbed into the existing blob.

Shipping real proc-macro2 source inside the typosquat so builds keep working is devious. Most people would never notice a transitive dependency changing names slightly.