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
[ 2.7 ms ] story [ 16.4 ms ] threadThis link, however, is related to a different paper.