Analytic philosophy was destroyed by Godel in the '30's, by using the same Platonic arguments - proof is not truth, truth is an intuition you can't prove true. The analytics confuse proof with truth. That's why this is not philosophy, but a tool in computer science.

UnsolvedMath - a collection of open math problems for LLMs to solve - just got an update to v1.8 bringing total number of problems to 17,614. In particular we've added all Erdos problems (also solved ones), Kourovka Notebook and did a another clean up. Problems with a Forum: unsolvedmath.com/ HuggingFace dataset: huggingface.co/datasets/ulam…

What does a superhuman level of mathematics look like? Here is one elementary example I could give to nonexperts. Daniel Kane and Terence Tao showed (arxiv.org/abs/1702.00912) that, given a collection X of sets, the total number of ways to write A as a disjoint union of B and C, with A, B, C from X (disjoint means non-overlapping), is at most cardinality of X to the power 1.72598…, and this power is sharp. To show this, they came up with an innocent-looking function B(x,y,z) = (xyz)^c of three variables, satisfying a certain arithmetic inequality and having prescribed boundary conditions. Proving that arithmetic inequality was really a headache. There was a question whether one could improve this bound, i.e., maybe add some logarithmic correction terms, and one could kind of imagine what should be done (see comments on terrytao.wordpress.com/2017/…), but it was not clear whether it would be easy to do. Now superintelligence improves this bound by introducing a certain monster function of three variables (see screenshot). Even if I had seen this function in my dreams, I would never have dared to verify that main arithmetic inequality. The candidate function produced by SI gives a bound matching the known lower-bound examples up to a constant factor, including the sharp logarithmic correction. All the details are here paatai.github.io/ai-proofs/b…

YOU CAN SEE EVERYTHING, a documentary by Nathan Fielder and Lance Oppenheim. Featuring Elizabeth Holmes. Only in theaters this October.

Breaking news: Kamala Harris’ Husband Privately Says He Doesn’t Want Her to Run for President Again Kamala Harris has taken steps that would enable a third presidential run, and some donors have directly told her another bid would be a longshot Source: WSJ wsj.com/politics/elections/k…

The purpose of the field of mathematics should be discovery, not protection of the careers of its practitioners. If AI can immediately solve problems with which humans have long struggled, this is a good thing.

We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice. github.com/openai/math/blob/…

I use their tools because at least for now I kinda have to. But I think these companies are pretty awful. And they're also full of shit. They aren't trying to help mathematics, learning, whatever. They're tying to sell their product.

This is you right? nitter.siddz.com/LedermanHarvey/status/… You're making bank w anthropic right? Maybe you should be taking some of this on the chin and having a bit of a reflect.

Research handoff files let other people with the same model as you instantly replicate your model’s entire research history. This is the way to build the hive mind of collective mathematical intelligence 🙏