Shinichi Mochizuki published a proof of the abc conjecture that has not been widely accepted by the math community. Peter Scholze pointed out to supposedly unfixable gaps in the proof.
This will resolve NO the conjecture is considered true at the end of 2024 either because:
The community accepts Mochizuki's proof as correct (possibly after minor adjustments by him or other mathematicians)
Mochizuki fixes the gaps in the demonstration
Someone else fixes the gaps but the proof is still based predominantly on the original paper.
This will resolve as YES if the community still considers that this problem is open.
I will resolve doing my own survey of the community in good faith.
https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/
