The Nightly Build.
Tuesday, August 4, 202642 min read
Daily Reading · Paper of the Day

GANs train a loss their optimality proof leaves out

The optimum at p_g = p_data is a real theorem about function-space minimax, and the loss Algorithm 1 actually descends is the one later work shows yields an unstable, infinite-variance gradient.

13 min read8 sources
Parenting · Parenting Research

Higher vitamin D doses gave breastfed infants more in the blood and no more in the bone

The standard 400 IU drops do the one thing physiology makes plain and the trials can barely count, keeping a breastfed baby out of deficiency, while the case for giving more comes down to where the line for “enough” is set.

10 min read11 sources
Current Affairs · Unbiased

Congress Voted to End the Iran War. The Vote That Would Have Counted Failed.

18 American service members have died in a campaign now three months past the War Powers Resolution's 60-day clock, and whether that clock binds the President turns on a question its own text leaves open: when a run of limited strikes becomes a war only Congress can declare.

8 min read17 sources
Daily Reading · Current Events

Trump asks the Supreme Court to let his mail-ballot limits take effect before November

The same week, the Justice Department rescinded a $1.8 billion fund to move Todd Blanche's stalled confirmation, and a 100% tariff took effect on branded drugs.

4 min read12 sources
Daily Reading · Tech News

OpenAI released proofs it says settle ten previously open problems in mathematics and computer science

It released the proofs as Lean 4 files a checker can verify line by line, and credits the work to an internal model it calls Astra.

4 min read9 sources
Daily Reading · Word of the Day

A palimpsest keeps the writing it was scraped to erase

At the Walters Art Museum, multispectral and X-ray imaging read three Archimedes treatises, preserved nowhere else in Greek, out from under the prayers a 13th-century monk had written over them.

3 min read6 sources