digital55's submissions

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