Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a23ddd0c5e8af557

Jump to content

Talk:Alex Gerko

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 3 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