digital55

13,227 karmajoined September 30, 2013On HN

Recent submissions

Lance Fortnow: Navier-Stokes and Lean blog.computationalcomplexity.org
3digital552ddiscuss
They Spent Years on a Math Problem. Then They Were Scooped by A.I nytimes.com
6digital552ddiscuss
What Is Math's Mysterious Langlands Program About?quantamagazine.org
3digital554ddiscuss
Global regularity problem for the incompressible three-dimensional Navier-Stokes terrytao.wordpress.com
2digital554ddiscuss
How One Programming Language Rewrote Mathematics and Why Software Is Next ibtimes.com
4digital5512ddiscuss
The greatest mathematician explains 6 essential concepts of math bigthink.com
2digital5513ddiscuss
Caught in the crossfire of the peer-review wars nature.com
3digital551modiscuss
A fundamental flaw leaves LLMs strikingly vulnerable to attack technologyreview.com
8digital551mo1 comment
From Trust to Verification: Lean's Impact on Mathematics simonsfoundation.org
2digital552modiscuss
What Emily Bender meant by "stochastic parrots"spectrum.ieee.org
177digital552mo262 comments
Instead of banning AI, I made a classroom contract with my students science.org
95digital552mo91 comments
Mathematics in the Age of AI quantabooks.org
3digital552modiscuss
They Spent Years on a Math Problem. Then They Were Scooped by A.I nytimes.com
4digital553modiscuss
Remarks on the Disproof of the Unit Distance Conjecture [pdf]cdn.openai.com
1digital553modiscuss
The Viruses Causing New Outbreaks Are Less Familiar to Science nytimes.com
6digital553mo3 comments
A New Consciousness of Mathematics apoorvapanidapu.substack.com
1digital553modiscuss
Get Started with Lean Proof Assistant lean-lang.org
2digital553modiscuss
Quantum computing is reaching its make-or-break moment scientificamerican.com
3digital553modiscuss
The Next 15 Years of Moore's Law, According to Imec spectrum.ieee.org
2digital553mo1 comment
Alexander Grothendieck Revolutionized 20th-Century Mathematics quantamagazine.org
7digital553mo1 comment
Math long resisted a digital disruption. AI is poised to change that sciencenews.org
2digital554modiscuss
The exotic particles that could break the Standard Model nature.com
3digital554modiscuss
What It's Like to Live with an Experimental Brain Implant spectrum.ieee.org
1digital554modiscuss
Where Are All These Meteors Coming From?nytimes.com
5digital554modiscuss
Are Strings Still Our Best Hope for a Theory of Everything?quantamagazine.org
1digital554modiscuss
Truth Machine: PW Talks with Kevin Hartnett publishersweekly.com
1digital554modiscuss
Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize scientificamerican.com
58digital555mo9 comments
A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix It nytimes.com
2digital555modiscuss
Quantum Data Can Teach AI to Do Better Chemistry spectrum.ieee.org
2digital556modiscuss
The Password That Lets Caterpillars Hide in an Ant's Lair nytimes.com
4digital556modiscuss

All submissions and comments on Hacker News.