Thomas Ahle

@thomasahle

Head of AI @NormalComputing - building formal thermodynamic chips. Ex @Meta @BARCdk SupWiz @OxfordQuantum. Follow for Math, AI, Probability, Lean, Tensors.

following
followers

AI verified a years-old polynomial proof in Lean, a coauthor says

The coauthor says the method evaluates a degree-n polynomial using ⌈(n+1)/2⌉ multiplications, a count they say they proved optimal.

1 Source, 40d ago, first seen 40d ago

Featured in

AI verified a years-old polynomial proof in Lean, a coauthor says

Featured in

AI verified a years-old polynomial proof in Lean, a coauthor says