A while back I read that Mochizuki may have solved the abc conjecture but apparently the proof was so complicated that it was challenging for mathematicians to actually understand it. It is probably a bit of a long shot, but has anyone heard more about it from a professional side (i.e. from the actual community rather than blogs)?

 

As a whole I found the whole issue quite an interesting in context of both, cutting edge science and science communication.

I know there is a mathematics community online that does a sort of crowd-source approach to developing theorems and proofs. I think I read that one of their projects is to look at Mochizuki's proof. But that is is going (very) slowly.

 

Sorry, that's all I remember ...

There was a conference in December. Results were somewhat disappointing. Nobody understands the proof but some progress is being made.

 

http://www.nature.com/news/biggest-mystery-in-mathematics-in-limbo-after-cryptic-meeting-1.19035

 

http://www.math.columbia.edu/~woit/wordpress/?p=8160

 

http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/

 

https://www.maths.nottingham.ac.uk/personal/ibf/files/symcor.iut.html

Edited March 9, 20169 yr by wtf