digital55

5 ms·

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

More ›