Talk:Alex Gerko

Latest comment: 2 months ago by ~2026-22622-62 in topic Addition to philanthropy topic?

To add about his carrier or profession properly

edit

You should write which books he wrote about his traiding carrier books name bcz when people search about him they should know about his whole profession what he had done what other he do which market he used to trade the compneys networth . About his company 46.251.198.131 (talk) 10:22, 3 June 2025 (UTC)Reply

Addition to philanthropy topic?

edit

March 25, 2026 edition of Quanta Magazine:

Currently, mathematicians are hoping to formalize all of mathematics using a proof assistant called Lean. They’ve created a library of more than 120,000 definitions so far and have verified a quarter of a million theorems. Several mathematicians maintain this database, keeping it up to date and vetting new contributions. (A handful of them do this work full time.) They’ve received over $10 million in funding, mostly from the billionaire financier Alex Gerko.

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/ ~2026-22622-62 (talk) 15:02, 12 April 2026 (UTC)Reply