lab
Cited for AlphaProof taking a silver-medal-level result at the 2024 International Mathematical Olympiad.
Ataraxos, a Stratego AI from Carnegie Mellon, NYU, Stanford and MIT, beat Pim Niemeijer 15-1-4 after a training run that cost under $8,000. The savings came from a custom simulator and sample efficiency, so the price holds only for problems that simulate as cheaply.
Reality
The BBC found practitioners at OpenAI, Meta and DeepMind dismissing last week's viral warnings as vague. The concrete safety fight in the same report is over who gets to evaluate models inside a lab.
Reality
Apple researchers report that one end-to-end training run on more than 2 million sequence-and-structure pairs competes with the usual tokenizer-then-generator pipelines.
Reality
OpenAI says roughly 10,000 agents produced a Navier-Stokes singularity proof in about 88 hours, but the only proofs an outsider can run belong to two mathematicians who posted Lean formalisations with their preprints.
Reality
HydroGym ships more than 60 validated environments reaching Re = 4 x 10^5, plus a proof of concept where agents trained on cheap surrogates cut local skin friction on a 3D wing section.
Reality