Sam Laki

yooo

Column Space Nine

bro

On proof and progress in mathematics In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of ...

arxiv.org/abs/math/940...

holy moly the other place is fucked up

ok whats ur fav matrix book,

mine is golub

bro u must show the process too, really great paintings

whats cookin mr svd

yo

U.N. girard was her?

gooooood morning

real af, i should

its been a long time Columbo

ponder the MDL orb

new work on computing distances between stochastic processes ***based on sample paths only***! we can now:
- learn distances between Markov chains
- extract "encoder-decoder" pairs for representation learning
- with sample- and computational-complexity guarantees
read on for some quick details..
1/n

Lone coder cracks 50-year puzzle to find Boggle’s top-scoring board ‘Remarkably old-school’ method establishes supremacy of 1,045-word grid

This is awesome. I worked on this with him on this a teeny bit a long time ago! www.ft.com/content/0ab6...

in seriousness though, i wonder if optimizer design becomes more and more specialized to different geometries, taming more chaotic landscapes

third order for sure

😖

man's a legend

this site is so 2023 me
i likey

p4 u gotta post feet to succeed here

In case it's of interest to anybody: I got in touch with YN himself to ask a bit about the motivations behind his fast gradient method. I attach here (the relevant part of) what I asked:

"Formal mathematical reasoning: A new frontier in AI"

Block diagram of a neural theorem prover

Delighted to share our new position paper: arxiv.org/abs/2412.16075!

The o1/o3 path to math reasoning is based on LLMs and large-scale test-time search. We argue for a different path that uses formal proof assistants for
✅ creating high-quality synthetic data
✅ rigorous test-time feedback. (1/2)

Mini thread on developer trust for #AMD.

Effectively: the default assumption for AMD is that the stack will be broken.

The community tried to help, but as Dave Airlie said years ago “throwing source code over the fence doesn’t make you FOSS”

#HPC #ROCm

classical hikari arc

banger video sir

youtu.be/gRqoXy-0d84

Splendid stuff; very digestible and usable:

arxiv.org/abs/2412.05239
'Conditions for uniform in time convergence: applications to averaging, numerical discretisations, and mean-field systems'
- Katharina Schuh, Iain Souttar