Hacker News new | ask | show | jobs
by bsder 984 days ago
> what's going on with Mochizuki's proof of the ABC conjecture.

The assumption at this point is that it's broken.

The onus is on Mochizuki to either clarify the proof or use the tools of the proof on some other already established problem to show their validity.