[FOM] What is the current state of the research about proving FLT?

[Arnold Neumaier]

On 2018-01-16 13:42, Frédéric Blanqui wrote:
> I'm not aware of any project
> that would try to automatically generate a human readable summary of
> such a proof. 20 years ago, there has been some work on this topic by
> Yann Coscoy. See for instance http://doi.org/10.1007/BFb0014048,
> http://doi.org/10.1007/BFb0052156 and (in French)
> http://www.theses.fr/2000NICE5428. Best regards, Frédéric.

For recent work on this see https://arxiv.org/abs/1712.03894