Javascript is not enabled. This site can still works but it'll be more interactive when javascript is enabled.
loading...
Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
JonChesterfield
13 hours ago
|
on: Three new discoveries in mathematics, computer science, and physics
https://github.com/openai/math/blob/main/lean/docs/378.md
reply
JonChesterfield
13 hours ago
|
parent
by fucking sorry written at the end of the proof
reply
loading story #50252000
loading story #50251959
loading story #50252032
Hacker News new | past | comments | ask | show | jobs | submit