dylgr

[dylgr @dylgr0]

@JasonRute From what I understand, I think at least a few people in the area were interested in the problem. The calculations seem pretty standard, but the approach feels non-obvious, at least to me (maybe a similar approach could be used on other problems?).

[dylgr @dylgr0]

A proof of the Gaussian product inequality conjecture

Solution by 5.6 Sol Max: https://t.co/j9cT5kdank
Follow-up: https://t.co/GmzLgN2aGX

[dylgr @dylgr0]

Lean proof using Codex https://t.co/URWpfVodjp