Hacker News: digital55

The Advisory Group on Mathematics and Artificial Intelligence

digital55 — Mon, 21 Sep 2026 19:17:42 +0000

Article URL: https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/

Comments URL: https://news.ycombinator.com/item?id=49791997

Points: 71

# Comments: 36

Is AI Solving Math Too Fast?

digital55 — Tue, 15 Sep 2026 17:06:25 +0000

Article URL: https://www.quantabooks.org/is-ai-solving-math-too-fast/

Comments URL: https://news.ycombinator.com/item?id=49715522

Points: 3

# Comments: 0

Lance Fortnow: Navier-Stokes and Lean

digital55 — Fri, 11 Sep 2026 16:18:14 +0000

Article URL: https://blog.computationalcomplexity.org/2026/09/navier-stokes-and-lean.html

Comments URL: https://news.ycombinator.com/item?id=49660955

Points: 3

# Comments: 0

They Spent Years on a Math Problem. Then They Were Scooped by A.I

digital55 — Fri, 11 Sep 2026 15:31:27 +0000

Article URL: https://www.nytimes.com/2026/06/08/science/ai-scoop-young-mathematicians.html

Comments URL: https://news.ycombinator.com/item?id=49660141

Points: 6

# Comments: 0

What Is Math's Mysterious Langlands Program About?

digital55 — Wed, 09 Sep 2026 18:54:44 +0000

Article URL: https://www.quantamagazine.org/what-is-maths-mysterious-langlands-program-really-about-20260909/

Comments URL: https://news.ycombinator.com/item?id=49632062

Points: 3

# Comments: 0

Global regularity problem for the incompressible three-dimensional Navier-Stokes

digital55 — Tue, 08 Sep 2026 21:31:38 +0000

Article URL: https://terrytao.wordpress.com/2026/09/07/finite-time-blowup-with-smooth-forcing-term-for-the-incompressible-porous-medium-boussinesq-and-incompressible-euler-equations/

Comments URL: https://news.ycombinator.com/item?id=49617372

Points: 2

# Comments: 0

How One Programming Language Rewrote Mathematics and Why Software Is Next

digital55 — Tue, 01 Sep 2026 14:45:34 +0000

Article URL: https://www.ibtimes.com/chris-hsu-how-one-programming-language-rewrote-mathematics-why-software-next-3806974

Comments URL: https://news.ycombinator.com/item?id=49522688

Points: 4

# Comments: 0

The greatest mathematician explains 6 essential concepts of math

digital55 — Mon, 31 Aug 2026 18:05:02 +0000

Article URL: https://bigthink.com/series/full-interview/6-essential-mathematical-concepts/

Comments URL: https://news.ycombinator.com/item?id=49512763

Points: 2

# Comments: 0

Caught in the crossfire of the peer-review wars

digital55 — Mon, 03 Aug 2026 16:27:04 +0000

Article URL: https://www.nature.com/immersive/d41586-026-01360-8/index.html

Comments URL: https://news.ycombinator.com/item?id=49157924

Points: 3

# Comments: 0

A fundamental flaw leaves LLMs strikingly vulnerable to attack

digital55 — Fri, 31 Jul 2026 16:07:36 +0000

Article URL: https://www.technologyreview.com/2026/07/30/1140927/a-fundamental-flaw-leaves-llms-vulnerable-to-attack/

Comments URL: https://news.ycombinator.com/item?id=49124913

Points: 8

# Comments: 1

From Trust to Verification: Lean's Impact on Mathematics

digital55 — Mon, 06 Jul 2026 20:26:14 +0000

Article URL: https://www.simonsfoundation.org/2026/06/23/from-trust-to-verification-leans-impact-on-mathematics/

Comments URL: https://news.ycombinator.com/item?id=48810038

Points: 2

# Comments: 0

What Emily Bender meant by "stochastic parrots"

digital55 — Mon, 06 Jul 2026 14:45:31 +0000

Article URL: https://spectrum.ieee.org/stochastic-parrot

Comments URL: https://news.ycombinator.com/item?id=48805401

Points: 177

# Comments: 262

Instead of banning AI, I made a classroom contract with my students

digital55 — Fri, 03 Jul 2026 14:28:33 +0000

Article URL: https://www.science.org/content/article/instead-banning-ai-i-made-classroom-contract-my-students

Comments URL: https://news.ycombinator.com/item?id=48775499

Points: 95

# Comments: 91

Mathematics in the Age of AI

digital55 — Thu, 02 Jul 2026 20:42:14 +0000

Article URL: https://www.quantabooks.org/kevin-hartnett-on-mathematics-in-the-age-of-ai/

Comments URL: https://news.ycombinator.com/item?id=48767106

Points: 3

# Comments: 0

They Spent Years on a Math Problem. Then They Were Scooped by A.I

digital55 — Tue, 09 Jun 2026 15:04:09 +0000

Article URL: https://www.nytimes.com/2026/06/08/science/ai-scoop-young-mathematicians.html

Comments URL: https://news.ycombinator.com/item?id=48462088

Points: 4

# Comments: 0

Remarks on the Disproof of the Unit Distance Conjecture [pdf]

digital55 — Wed, 27 May 2026 17:47:33 +0000

Article URL: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

Comments URL: https://news.ycombinator.com/item?id=48297807

Points: 1

# Comments: 0

The Viruses Causing New Outbreaks Are Less Familiar to Science

digital55 — Wed, 27 May 2026 15:35:55 +0000

Article URL: https://www.nytimes.com/2026/05/27/science/ebola-hantavirus-species-strains.html

Comments URL: https://news.ycombinator.com/item?id=48295890

Points: 6

# Comments: 3

A New Consciousness of Mathematics

digital55 — Tue, 26 May 2026 18:46:19 +0000

Article URL: https://apoorvapanidapu.substack.com/p/a-new-consciousness-of-mathematics

Comments URL: https://news.ycombinator.com/item?id=48284069

Points: 1

# Comments: 0

Get Started with Lean Proof Assistant

digital55 — Mon, 25 May 2026 13:19:29 +0000

Article URL: https://lean-lang.org/

Comments URL: https://news.ycombinator.com/item?id=48266500

Points: 2

# Comments: 0

Quantum computing is reaching its make-or-break moment

digital55 — Wed, 20 May 2026 21:06:05 +0000

Article URL: https://www.scientificamerican.com/article/quantum-computing-is-reaching-its-make-or-break-moment/

Comments URL: https://news.ycombinator.com/item?id=48214125

Points: 3

# Comments: 0