5 ms·
The FrontierMath benchmark ranks models on math problem performance. How can other leading math and coding models test your solution? Write unit tests [with p
by westurner 11mo ago
The FrontierMath benchmark ranks models on math problem performance.
How can other leading math and coding models test your solution?
Write unit tests [with pytest] which assert that the predictive error is within a reasonable tolerance
Notes re: Navier-Stokes from "Google DeepMind team up to solve the Navier-Stokes million-dollar problem": https://news.ycombinator.com/item?id=44383829 https://news.ycombinator.com/item?id=44383829 :
> Shouldn't solving NS also solve for n-body gravity?
From https://news.ycombinator.com/item?id=46017130 https://news.ycombinator.com/item?id=46017130 :
>>> "Perihelion precession of planetary orbits solved from quantum field theory" (2025) https://arxiv.org/abs/2506.14447 https://arxiv.org/abs/2506.14447 .. https://news.ycombinator.com/item?id=45220460 https://news.ycombinator.com/item?id=45220460
>> Planetary orbits are an n-body problem. GR, SQG [GR, Gross-Pitaevskii, Navier-Stokes,], and Gravity from QFT solve for planetary orbits