![Account icon](https://aperiodical.com/wp-content/themes/aperiodical/library/images/avatar.png)
2 likes
0 boosts
@mathnews Wow, I hadn't been following the saga over this claimed abc conjecture proof. I work with proof verifiers because I think they have the potential to help turn these situations into productive mathematical collaborations (while realizing there is much to accomplish to make that a reality, especially in terms of having large enough libraries of already formalized math).