From Trust to Verification: Lean's Impact on Mathematicssimonsfoundation.org2 points·by digital55·قبل 6 أيام·0 comments
What Emily Bender meant by "stochastic parrots"spectrum.ieee.org177 points·by digital55·قبل 6 أيام·261 comments
Instead of banning AI, I made a classroom contract with my studentsscience.org95 points·by digital55·قبل 9 أيام·91 comments
They Spent Years on a Math Problem. Then They Were Scooped by A.Inytimes.com4 points·by digital55·الشهر الماضي·0 comments
Remarks on the Disproof of the Unit Distance Conjecture [pdf]cdn.openai.com1 points·by digital55·قبل شهرين·0 comments
The Viruses Causing New Outbreaks Are Less Familiar to Sciencenytimes.com6 points·by digital55·قبل شهرين·3 comments
A New Consciousness of Mathematicsapoorvapanidapu.substack.com1 points·by digital55·قبل شهرين·0 comments
Quantum computing is reaching its make-or-break momentscientificamerican.com3 points·by digital55·قبل شهرين·0 comments
The Next 15 Years of Moore's Law, According to Imecspectrum.ieee.org2 points·by digital55·قبل شهرين·1 comments
Alexander Grothendieck Revolutionized 20th-Century Mathematicsquantamagazine.org7 points·by digital55·قبل شهرين·1 comments
Math long resisted a digital disruption. AI is poised to change thatsciencenews.org2 points·by digital55·قبل شهرين·0 comments
The exotic particles that could break the Standard Modelnature.com3 points·by digital55·قبل شهرين·0 comments
What It's Like to Live with an Experimental Brain Implantspectrum.ieee.org1 points·by digital55·قبل 3 أشهر·0 comments
Are Strings Still Our Best Hope for a Theory of Everything?quantamagazine.org1 points·by digital55·قبل 3 أشهر·0 comments
Truth Machine: PW Talks with Kevin Hartnettpublishersweekly.com1 points·by digital55·قبل 3 أشهر·0 comments
Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prizescientificamerican.com58 points·by digital55·قبل 4 أشهر·9 comments
A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix Itnytimes.com2 points·by digital55·قبل 4 أشهر·0 comments
digital55·قبل 5 أشهر·discussTerence 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.