FRESH

Hacker News

Lattice Triangles Are Rare

15 points by skogstokig

by aoinveonasdf

0 subcomment

It should be noted that this is a PR piece for a "math" startup. The result doesn't look particularly interesting, from either a mathematical or Lean code standpoint, as far as I can see.

by ryandamm

1 subcomments

Curious if the authors are hanging around here and how they feel about the recent Leiden Statement. (Late in the article it’s clear that this is at least partially a publicity effort around a new AI math tool, if I’m reading it correctly.)
On a personal level I’m very excited about AI getting good at math, but I’m a consumer of math, not a creator. My job gets easier as AI gets better on this front, so I can’t fully empathize with mathematicians who feel threatened or are worried about the sanctity of the discipline.