Y
Hacker News
new
|
ask
|
show
|
jobs
by
trehalose
87 days ago
Could you give a concrete example or two of what exactly this system does? Like, what's a scientific result or two it has formally mathematically proved?