digital55

5个月前讨论

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.

提交

From Trust to Verification: Lean's Impact on Mathematics

What Emily Bender meant by "stochastic parrots"

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

Mathematics in the Age of AI

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

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

The Viruses Causing New Outbreaks Are Less Familiar to Science

A New Consciousness of Mathematics

Get Started with Lean Proof Assistant

Quantum computing is reaching its make-or-break moment

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

Alexander Grothendieck Revolutionized 20th-Century Mathematics

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

The exotic particles that could break the Standard Model

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

Where Are All These Meteors Coming From?

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

Truth Machine: PW Talks with Kevin Hartnett

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

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

评论