Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz) 2 points by gridentio 2y ago ↗ HN
[–] gridentio 2y ago ↗ I recently shared another similar mathstodon post https://mathstodon.xyz/@tao/111287749336059662This link, however, is related to a different paper.
2 comments
[ 0.15 ms ] story [ 17.0 ms ] threadThis link, however, is related to a different paper.