Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		rjlipton.com Isomorphism Is Where It's At \| Gödel's Lost Letter and P=NP
\|	\|	scottaaronson.blog Shtetl-Optimized » Blog Archive » Avi Wigderson's "Permanent" Impact on Me	4.0 parsecs away Travel
\|	\|	The following is the lightly-edited transcript of a talk that I gave a week ago, on Wednesday October 5, at Avi Wigderson's 60th birthday conference at the Institute for Advanced Study in Princeton. Videos of all the talks (including mine) are now available here. Thanks so much to Sanjeev Arora, Boaz Barak, Ran Raz, Peter...	4.0 parsecs away Travel
\|	\|	jiggerwit.wordpress.com An Argument for Controlled Natural Languages in Mathematics \| Jigger Wit	3.7 parsecs away Travel
\|	\|	What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer...	3.7 parsecs away Travel
\|	\|	francisbach.com Playing with positive definite matrices - II: entropy edition - Machine Learning Research Blog	4.6 parsecs away Travel
\|	\|	[AI summary] This mathematical post explores the geometry of positive semi-definite matrices using the von Neumann entropy and related Bregman divergences to derive concentration inequalities for random matrices.	4.6 parsecs away Travel
\|	\|	jeffreyladish.com Are Large Language Models like laMDA sentient? - jeffreyladish.com	19.0 parsecs away Travel
\|		In this post I explain what we can and can't learn about AI sentience from conversations with Large Language Models.	19.0 parsecs away Travel