GoKawiil - Tech News

421.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

422.

In Defense of Matlab Code (news.ycombinator.com)

2025-12-12 | by Dystr Inc. | get Optimization Toolbox → | tags: code, language, math

423.

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

2025-12-12 | by Jane Waite | get Maths-to-AI → | tags: learning, maths, students

424.

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

2025-12-12 | by Jane Waite | get MathPad → | tags: learning, maths, students

425.

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

2025-12-12 | by Joseph Howlett | get Mathematical proof → | tags: folds, katzarkov, kontsevich

426.

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

2025-12-12 | by Joseph Howlett | get Mathematical proof → | tags: folds, katzarkov, kontsevich

427.

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 | get Nomos → | tags: competition, mathematical, model

428.

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

2025-12-08 | get Math book → | tags: book, books, math

429.

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

2025-12-08 | get Mathematics → | tags: book, books, math

430.

IBM CEO Says the Math Just Doesn’t Add Up on Its Competitors’ AI Spending (futurism.com)

2025-12-05 | by Victor Tangermann | get IBM Watson → | tags: ai bubble, bubble, krishna

431.

The Math Legend Who Just Left Academia–For an AI Startup Run by a 24-Year-Old (news.ycombinator.com)

2025-12-04 | get Artificial Intelligence → | tags: academia, academia ai, ai startup

432.

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

2025-12-04 | get Neural Network → | tags: chase, chase mathematical, epiphany

433.

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

2025-12-04 | by Basu | get DeepSeek's Math Solver → | tags: answer, final, mathematical

434.

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

2025-12-03 | by Leila Sloman | get Quantum Computing → | tags: group, groups, lie group

435.

Understanding ECDSA (news.ycombinator.com)

2025-12-03 | get OpenSC → | tags: align, cdot, curve

436.

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

2025-12-03 | by Author Notes | get Quantum Chromodynamics → | tags: angular, distributions, mathcal

437.

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

2025-12-03 | by Kim | get Genomic Atlas → | tags: copy, mathrm, mutational

438.

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

2025-12-02 | get Smartphone → | tags: cellular, cellular automata, digital

439.

Show HN: RunMat – runtime with auto CPU/GPU routing for dense math (news.ycombinator.com)

2025-12-02 | get RunMat → | tags: code, fast, fusion

440.

Reverse math shows why hard problems are hard (news.ycombinator.com)

2025-12-02 | by Ben Brubaker | get Mathematical Algorithm → | tags: axioms, called, chen

441.

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

2025-12-01 | get DeepSeekMath → | tags: mathematical, mathematical reasoning, reasoning

442.

Interop and MathML Core (news.ycombinator.com)

2025-11-30 | get MathML Core → | tags: math, mathml, mn mn

443.

Every mathematician has only a few tricks (2020) (news.ycombinator.com)

2025-11-29 | get Mathematical Toolkit → | tags: considering, diagonalizable, eigenvectors

444.

Lobsters Interview (news.ycombinator.com)

2025-11-28 | get I can't fulfill this request. → | tags: computing, emacs, functions

445.

The Math of Why You Can't Focus at Work (news.ycombinator.com)

2025-11-28 | get Mindfulness → | tags: block, focus, focus block

446.

Beyond math and coding: New RL framework helps train LLM agents for complex, real-world tasks (venturebeat.com)

2025-11-28 | get Language Generation → | tags: agent, multi, reward

447.

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

2025-11-27 | get DeepSeekMath → | tags: address, address contacted, contacted

448.

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

2025-11-26 | by Tafazoli | get Neural Subspace → | tags: axis, classifier, colour

449.

A new bridge links the math of infinity to computer science (news.ycombinator.com)

2025-11-25 | by Joseph Howlett | get Mathematical Bridge → | tags: algorithm, color, computer

450.

A New Bridge Links the Math of Infinity to Computer Science (news.ycombinator.com)

2025-11-25 | by Joseph Howlett | get Mathematical Bridge → | tags: algorithm, color, computer