GoKawiil - Tech News

1.

Using secondary school maths to demystify AI (news.ycombinator.com)

2025-12-12 | by Jane Waite | related products | tags: learning, maths, students

2.

Secondary school maths showing that AI systems don't think (news.ycombinator.com)

2025-12-12 | by Jane Waite | related products | tags: learning, maths, students

3.

String theory inspires a brilliant, baffling new math proof (news.ycombinator.com)

2025-12-12 | by Joseph Howlett | related products | tags: folds, katzarkov, kontsevich

4.

String Theory Inspires a Brilliant, Baffling New Math Proof (news.ycombinator.com)

2025-12-12 | by Joseph Howlett | related products | tags: folds, katzarkov, kontsevich

5.

Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam (venturebeat.com)

2025-12-11 | related products | tags: competition, mathematical, model

6.

Quanta to publish popular math and physics books by Terence Tao and David Tong (news.ycombinator.com)

2025-12-08 | related products | tags: book, books, math

7.

Quanta to Publish Popular Math and Physics Titles by Terence Tao and David Tong (news.ycombinator.com)

2025-12-08 | related products | tags: book, books, math

8.

The Math Legend Who Just Left Academia—for an AI Startup Run by a 24-Year-Old (feeds.content.dowjones.io)

2025-12-04 | related products | tags: chase, chase mathematical, epiphany

9.

DeepSeek’s self-correcting AI model aces tough maths proofs (feeds.nature.com)

2025-12-04 | by Basu | related products | tags: answer, final, mathematical

10.

Lie groups are crucial to some of the most fundamental theories in physics (news.ycombinator.com)

2025-12-03 | by Leila Sloman | related products | tags: group, groups, lie group

11.

Understanding ECDSA (news.ycombinator.com)

2025-12-03 | related products | tags: align, cdot, curve

12.

Determination of the spin and parity of all-charm tetraquarks (feeds.nature.com)

2025-12-03 | by Author Notes | related products | tags: angular, distributions, mathcal

13.

Whole-genome landscapes of 1,364 breast cancers (feeds.nature.com)

2025-12-03 | by Kim | related products | tags: copy, mathrm, mutational

14.

Some models of reality are bolder than others (news.ycombinator.com)

2025-12-02 | related products | tags: cellular, cellular automata, digital

15.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (news.ycombinator.com)

2025-12-01 | related products | tags: mathematical, mathematical reasoning, reasoning

16.

Interop and MathML Core (news.ycombinator.com)

2025-11-30 | related products | tags: math, mathml, mn mn

17.

Lobsters Interview (news.ycombinator.com)

2025-11-28 | related products | tags: computing, emacs, functions

18.

Building compositional tasks with shared neural subspaces (feeds.nature.com)

2025-11-26 | by Tafazoli | related products | tags: axis, classifier, colour

19.

Consumer confidence falls to lowest level since April as Americans worry about inflation and jobs (feeds.feedburner.com)

2025-11-25 | related products | tags: aftermath, aftermath government, board

20.

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (news.ycombinator.com)

2025-11-23 | related products | tags: calculus, calculus mathematicians, computer

21.

Set theory with types (news.ycombinator.com)

2025-11-22 | related products | tags: mathbb, mathbb mathbb, set theory

22.

American Kids Can't Do Math Anymore (slashdot.org)

2025-11-20 | by Posted | related products | tags: course, math, school

23.

DeepMind’s latest: An AI for handling mathematical proofs (arstechnica.com)

2025-11-19 | related products | tags: deepmind, good, level

24.

Shared and language-specific phonological processing in the human temporal lobe (feeds.nature.com)

2025-11-19 | by Bhaya-Grossman | related products | tags: boundary, features, language

25.

Ford can't find mechanics for $120K: It takes math to learn a trade (news.ycombinator.com)

2025-11-18 | related products | tags: high, math, read

26.

Mathematics and Computation (2019) [pdf] (news.ycombinator.com)

2025-11-18 | related products | tags: computation, computation pdf, mathematics

27.

Phi-4 proves that a 'data-first' SFT methodology is the new differentiator (venturebeat.com)

2025-11-17 | related products | tags: domain, math, model

28.

AsciiMath (news.ycombinator.com)

2025-11-15 | related products | tags: ajax, ajax libs, approach

29.

Linear algebra explains why some words are effectively untranslatable (news.ycombinator.com)

2025-11-14 | related products | tags: basis, language, mathbf

30.

Linear Algebra Explains Why Some Words Are Effectively Untranslatable (news.ycombinator.com)

2025-11-14 | related products | tags: basis, language, mathbf