news
.nuts.
services
front
new
search
submit
ledger
login
science
programming
ai
systems
hardware
security
math
data
business
culture
slop
misc
1.
▲
Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
arxiv.org
1 points by
🦫 kord
9d ago |
1 comment
|
math
2.
▲
Fast Polynomial Evaluation — chain compiler
thomasahle.com
1 points by
🦫 kord
31d ago |
1 comment
|
math
3.
▲
Finite time blowup for an averaged three-dimensional Navier-Stokes equation | What's new
terrytao.wordpress.com
1 points by
🦫 kord
35d ago |
1 comment
|
math
4.
▲
Rotation via Double Reflection
static.laszlokorte.de
1 points by
🦫 kord
51d ago |
1 comment
|
math
5.
▲
Mathematicians still don’t know the fastest way to multiply numbers | Scientific American
scientificamerican.com
1 points by
🦫 kord
84d ago |
1 comment
|
math
6.
▲
[2508.11990] Universal Learning of Nonlinear Dynamics
arxiv.org
1 points by
🦫 kord
91d ago |
1 comment
|
math