Found 2 document(s)
Page 1 of 1
-
We give a self-contained constructive proof that the matrix multiplication exponent satisfies $ω\le9/4$. This bound was recently claimed by OpenAI~\cite{original} through non-constructive arguments in Strassen's asymptot...
-
This note covers the following topics, Sets, Functions and Relations, Proofs and Induction, Number Theory, Counting, Probability, Logic, Graphs, Finite Automata....