Cuong Tran

Hi, I'm the author of this site cuongtran.net

OpenAI’s work on Math. Commoditization moment.

I found there’re few types of response of internet for OpenAI’s work on formal math & theorem proving/discovery recently. 90%…

8 October 2026

[data-stoat-modal]{display:none} .stoat-modals{width:var(--content-width);max-width:calc(100% - 20px);margin:0 auto} .stoat-modal{position:static;visibility:visible} .stoat-modal__backdrop,.stoat-modal__close{display:none} .stoat-modal .stoat-modal__dialog{position:static;width:auto;max-width:none;max-height:none;transform:none;opacity:1;padding:var(--spacing-lg) 0;border:0;border-top:1px solid var(--border);box-shadow:none;background:none;color:inherit}