Google Research said on Nov. 13 that its /teamwork-LEAP multi-agent system autonomously produced a 1.8-million-line Lean formalization of the Weil conjectures over about 28,800 subagent calls, formalized the Birkhoff conjecture for the first time, fixed a gap in a recent proof and helped prove the Courtade-Kumar conjecture.
Google DeepMind released PARDIG and SatWeave, the open weather datasets behind its WeatherNext 3 model. SatWeave stitches six geostationary satellites into an hourly global view; PARDIG uses AI trained on sparse space radar to map rainfall worldwide every 15 minutes at about 10 km, back to 1999. Both are free under CC BY 4.0.
A team at Curtin University's node of ICRAR in Australia reports in Nature Astronomy a radio source, GPM J071507−114153: a white dwarf that pulses roughly every 7.9 minutes while orbiting a Sun-like G-type star about every 1.3 days. It is the first time such radio pulses have been traced to a white dwarf with a Sun-like partner, adding a new clue to the puzzle of long-period radio transients.
At 19:00 Beijing time on Nov. 12, the European Space Agency published Euclid’s first major data set, DR1-Foundation: about 13 months of observations covering an area of sky equal to 9,500 full Moons, with more than 900 million galaxies, some 15,000 strong-lens candidates, and about 1.7 million GB of data. The rest of Data Release 1 is due in mid-2027.
In 2019, the Event Horizon Telescope published the first direct image of a black hole, the bright ring around M87's center. Critics have long wondered whether that ring was an artifact of sparse data and image processing. On November 12, four researchers at Australia's CSIRO said a new method called GenDIReCT, which was not told what a black hole should look like, reanalyzed the public data and recovered a ring of almost the same size and shape. The work is published in Nature.
Yang-Mills theory is part of the mathematical foundation for how fundamental particles interact, yet for decades no one has rigorously proven that it can actually be built in math. Together with the even harder 'mass gap,' it is one of the Clay Mathematics Institute's Millennium Prize Problems. A working group chaired by Nobel laureate David Gross released its assessment overnight on November 10, U.S. time: in its judgment, a computer-checkable Lean proof that OpenAI submitted on October 28 establishes that pure Yang-Mills theory exists. But the group says the mass gap is not proved, the Millennium Problem is not fully solved, and 'we do not claim to fully understand the proof yet.'