Dmitry Rybin (@dmitryrybin1) 's Twitter Profile
Dmitry Rybin

@dmitryrybin1

PhD at CUHK || ML for Math, Search, Planning || Grand First Prize at IMC || 人工智能+数学

ID: 1521776776380239873

linkhttps://www.linkedin.com/in/rybindmitry calendar_today04-05-2022 09:00:53

402 Tweet

1,1K Takipçi

127 Takip Edilen

Dmitry Rybin (@dmitryrybin1) 's Twitter Profile Photo
Dmitry Rybin
@dmitryrybin1

2 months ago

Software RnD is being redefined in front of our eyes. SAT solvers were developed over many years and here they are drastically improved within ~3 months of playing with AlphaEvolve-style evolution BTW Nvidia is interested in SAT solver because it can make and verify chip design