
mark
@mark_sf
exploring and experimenting
ID: 1102086961865596928
https://markkim.bearblog.dev/ 03-03-2019 06:03:02
484 Tweet
338 Followers
970 Following








Congrats to Jared Duker Lichtman's incredible work! All of the Lean statements were generated by AI to show the result of de Bruijn's work on the abc conjecture!
