Lean

Το Lean μπαίνει στην πιο αμφιλεγόμενη απόδειξη των μαθηματικών

Δύο ομάδες μαθηματικών προσπαθούν να βάλουν το Lean στην καρδιά της διαμάχης για την υπόθεση ABC. Η μία δουλεύει μυστικά πάνω από δύο χρόνια, ενώ η άλλη έχει ήδη πιάσει το πιο…