digital55 · HackerTrans

Submissions

From Trust to Verification: Lean's Impact on Mathematics

simonsfoundation.org

2 pointsby digital5520 hari yang lalu0 comments

What Emily Bender meant by "stochastic parrots"

spectrum.ieee.org

177 pointsby digital5520 hari yang lalu262 comments

Instead of banning AI, I made a classroom contract with my students

science.org

95 pointsby digital5523 hari yang lalu91 comments

Mathematics in the Age of AI

quantabooks.org

3 pointsby digital5524 hari yang lalu0 comments

They Spent Years on a Math Problem. Then They Were Scooped by A.I

nytimes.com

4 pointsby digital552 bulan yang lalu0 comments

Remarks on the Disproof of the Unit Distance Conjecture [pdf]

cdn.openai.com

1 pointsby digital552 bulan yang lalu0 comments

The Viruses Causing New Outbreaks Are Less Familiar to Science

nytimes.com

6 pointsby digital552 bulan yang lalu3 comments

A New Consciousness of Mathematics

apoorvapanidapu.substack.com

1 pointsby digital552 bulan yang lalu0 comments

Get Started with Lean Proof Assistant

lean-lang.org

2 pointsby digital552 bulan yang lalu0 comments

Quantum computing is reaching its make-or-break moment

scientificamerican.com

3 pointsby digital552 bulan yang lalu0 comments

The Next 15 Years of Moore's Law, According to Imec

spectrum.ieee.org

2 pointsby digital552 bulan yang lalu1 comments

Alexander Grothendieck Revolutionized 20th-Century Mathematics

quantamagazine.org

7 pointsby digital552 bulan yang lalu1 comments

Math long resisted a digital disruption. AI is poised to change that

sciencenews.org

2 pointsby digital553 bulan yang lalu0 comments

The exotic particles that could break the Standard Model

nature.com

3 pointsby digital553 bulan yang lalu0 comments

What It's Like to Live with an Experimental Brain Implant

spectrum.ieee.org

1 pointsby digital553 bulan yang lalu0 comments

Where Are All These Meteors Coming From?

nytimes.com

5 pointsby digital553 bulan yang lalu0 comments

Are Strings Still Our Best Hope for a Theory of Everything?

quantamagazine.org

1 pointsby digital553 bulan yang lalu0 comments

Truth Machine: PW Talks with Kevin Hartnett

publishersweekly.com

1 pointsby digital553 bulan yang lalu0 comments

Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize

scientificamerican.com

58 pointsby digital554 bulan yang lalu9 comments

A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix It

nytimes.com

2 pointsby digital554 bulan yang lalu0 comments

comments

digital55

5 bulan yang laludiscuss

Terence Tao: Just a brief announcement that I have been working with Quanta Books to publish a short book in popular mathematics entitled “Six Math Essentials“, which will cover six of the fundamental concepts in mathematics.

digital55

8 tahun yang laludiscuss

This was written up in 2016: https://www.quantamagazine.org/hyperuniformity-found-in-bird...

digital55

9 tahun yang laludiscuss

A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions by Thomas Royen: https://arxiv.org/pdf/1408.1028.pdf

digital55

10 tahun yang laludiscuss

2015 PISA results for U.S.: https://www.oecd.org/pisa/PISA-2015-United-States.pdf

digital55

11 tahun yang laludiscuss

Though Zhang did get a profile in TNY: http://www.newyorker.com/magazine/2015/02/02/pursuit-beauty

And quite a bit of news coverage: https://www.quantamagazine.org/20130519-unheralded-mathemati...

digital55

11 tahun yang laludiscuss

The video mentions that physicists are looking for the "ripples" (gravitational waves) that would prove inflation, and while they haven't found them yet, they seem to be getting closer to detecting them.

digital55

11 tahun yang laludiscuss

David Kaplan also made Particle Fever: http://particlefever.com/

digital55

12 tahun yang laludiscuss

This is the paper in question: http://arxiv.org/abs/1410.3831

digital55

12 tahun yang laludiscuss

This is the Planck analysis on the arXiv: http://arxiv.org/abs/1409.5738

digital55

12 tahun yang laludiscuss

In-depth profiles and videos about all 4 Fields medalists here: http://www.simonsfoundation.org/quanta/20140812-a-brazilian-...