Y
Hacker News
new
|
ask
|
show
|
jobs
Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper
(
mathstodon.xyz
)
2 points
by
gridentio
940 days ago
2 comments
gridentio
940 days ago
I recently shared another similar mathstodon post
https://mathstodon.xyz/@tao/111287749336059662
This link, however, is related to a different paper.
link
noneoftheabove
940 days ago
Interesting. What are the competitors for to lean?
link
This link, however, is related to a different paper.