GoKawiil - Tech News

Topics: Today This Week This Month This Year

Formalizing Fermat's Last Theorem (news.ycombinator.com)

2026-09-04 | get Fermat's Enigma Simon Singh book → | tags: fermats last theorem, lean proof assistant, imperial college london

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (news.ycombinator.com)

2026-04-28 | get Tetris 8-bit Puzzle Game → | tags: sphere packing, dimension 8, formalization

Mathematics Distillation Challenge – Equational Theories (news.ycombinator.com)

2026-03-14 | by Terence Tao | get Mathematics Puzzle Book → | tags: polymath projects, lean formalization, equational theories

Today's top topics: openai artificial intelligence apple anthropic