Academia Sinica

I think that we can watch those interesting issues, will they become an important policy debates in these high tech counties or cities that will reflect the voters' concerns.

You were listening to Academia Sinica-research fellow Lin Tung-Ho.

I'm Hope Go.

Thank you for tuning in.

And stage seven, a Lean 4 formalization of the main theorem, sorry, free, meaning no gaps left as to dues, reducing to the three standard Mathlib axioms plus two explicitly cited classical inputs.

The nine, for the record, Noga Alon at Princeton, Thomas Bloom at Manchester, Tim Gowers at the College de France in Cambridge, Daniel Litt at Toronto, Will Sawin at Princeton, Arul Shankar at Toronto, Jacob Zimerman at Toronto, Victor Wang at Academia Sinica, and Melanie Matchett Wood at Harvard.

And here's one correction to the popular retelling of this story.

The audit did not take weeks of grinding.

This first author is Chia Hui Luo.

And corresponding author Ya-Jen Chang from the Institute of Biomedical Sciences at Academia Sinica in Taipei, Taiwan, and associated with the National Yang Ming Chiao Tung University.

And this was published in Immunity in the future again.

So this is November 10.