Lean potwierdza lukę w dowodzie Mochizukiego dot. hipotezy ABC
Asystent dowodów matematycznych Lean potwierdził istnienie luki w dowodzie hipotezy ABC autorstwa japońskiego matematyka Shinichiego Mochizukiego. Informację opublikował Fumiharu Kato na platformie X. Hipoteza ABC jest jednym z ważniejszych nierozwiązanych problemów teorii liczb, a kontrowersje wokół dowodu Mochizukiego trwają od lat.
Komentarze
Brak komentarzy
Komentarze
Jeszcze nikt nie skomentował — napisz pierwszy 👇
Brak komentarzy. Bądź pierwszy!