Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
4 ms
·
Using GPT-5 to prove new theorems on matrix multiplication
1 points
by
frozenseven
1y ago