digital55 | Dark Hacker News

user:	digital55
created:	September 30, 2013
karma:	13.2k

1.	Is AI Solving Math Too Fast?(quantabooks.org) 3 points by digital55 1 day ago \| 0 comments
2.	Lance Fortnow: Navier-Stokes and Lean(blog.computationalcomplexity.org) 3 points by digital55 5 days ago \| 0 comments
3.	They Spent Years on a Math Problem. Then They Were Scooped by A.I(nytimes.com) 6 points by digital55 5 days ago \| 0 comments
4.	What Is Math's Mysterious Langlands Program About?(quantamagazine.org) 3 points by digital55 7 days ago \| 0 comments
5.	Global regularity problem for the incompressible three-dimensional Navier-Stokes(terrytao.wordpress.com) 2 points by digital55 8 days ago \| 0 comments
6.	How One Programming Language Rewrote Mathematics and Why Software Is Next(ibtimes.com) 4 points by digital55 16 days ago \| 0 comments
7.	The greatest mathematician explains 6 essential concepts of math(bigthink.com) 2 points by digital55 16 days ago \| 0 comments
8.	Caught in the crossfire of the peer-review wars(nature.com) 3 points by digital55 44 days ago \| 0 comments
9.	A fundamental flaw leaves LLMs strikingly vulnerable to attack(technologyreview.com) 8 points by digital55 47 days ago \| 1 comment
10.	From Trust to Verification: Lean's Impact on Mathematics(simonsfoundation.org) 2 points by digital55 72 days ago \| 0 comments
11.	What Emily Bender meant by "stochastic parrots"(spectrum.ieee.org) 177 points by digital55 73 days ago \| 262 comments
12.	Instead of banning AI, I made a classroom contract with my students(science.org) 95 points by digital55 76 days ago \| 91 comments
13.	Mathematics in the Age of AI(quantabooks.org) 3 points by digital55 76 days ago \| 0 comments
14.	They Spent Years on a Math Problem. Then They Were Scooped by A.I(nytimes.com) 4 points by digital55 100 days ago \| 0 comments
15.	Remarks on the Disproof of the Unit Distance Conjecture [pdf](cdn.openai.com) 1 points by digital55 112 days ago \| 0 comments
16.	The Viruses Causing New Outbreaks Are Less Familiar to Science(nytimes.com) 6 points by digital55 112 days ago \| 3 comments
17.	A New Consciousness of Mathematics(apoorvapanidapu.substack.com) 1 points by digital55 113 days ago \| 0 comments
18.	Get Started with Lean Proof Assistant(lean-lang.org) 2 points by digital55 115 days ago \| 0 comments
19.	Quantum computing is reaching its make-or-break moment(scientificamerican.com) 3 points by digital55 119 days ago \| 0 comments
20.	The Next 15 Years of Moore's Law, According to Imec(spectrum.ieee.org) 2 points by digital55 119 days ago \| 1 comment
21.	Alexander Grothendieck Revolutionized 20th-Century Mathematics(quantamagazine.org) 7 points by digital55 119 days ago \| 1 comment
22.	Math long resisted a digital disruption. AI is poised to change that(sciencenews.org) 2 points by digital55 134 days ago \| 0 comments
23.	The exotic particles that could break the Standard Model(nature.com) 3 points by digital55 134 days ago \| 0 comments
24.	What It's Like to Live with an Experimental Brain Implant(spectrum.ieee.org) 1 points by digital55 148 days ago \| 0 comments
25.	Where Are All These Meteors Coming From?(nytimes.com) 5 points by digital55 148 days ago \| 0 comments
26.	Are Strings Still Our Best Hope for a Theory of Everything?(quantamagazine.org) 1 points by digital55 149 days ago \| 0 comments
27.	Truth Machine: PW Talks with Kevin Hartnett(publishersweekly.com) 1 points by digital55 155 days ago \| 0 comments
28.	Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize(scientificamerican.com) 58 points by digital55 181 days ago \| 9 comments
29.	A.I. Writes Buggy Code. A Silicon Valley Startup Wants to Fix It(nytimes.com) 2 points by digital55 183 days ago \| 0 comments
30.	Quantum Data Can Teach AI to Do Better Chemistry(spectrum.ieee.org) 2 points by digital55 197 days ago \| 0 comments