Maro

Exactly. Every mathematician is "robbed" from knowing 1-2 things that they would specifically work on, for any given topic, 99.99% of mathematicians are not robbed, and for any given mathematician, for 99.99% of topics they are not robbed of anything. That's my feeling..

Maybe post-LLMs mathematicians will work on problems/topics that even ChatGPT can't solve? Like, P=NP remains unsolved, we can work on that. Sure, it's possible that it will get solved tomorrow by an AI or somebody else, but that possibility was always there.. Or, to be more practical, one of the claimed OpenAI results is that integer multiplication is sub n×log(n), so assuming it stands, now there's a new question: "What is the actual lower bound for integer multiplication?"

I have no proof, but I believe (i) LLM progress will converge at some point, (ii) that point will not be so far off from human intelligence, since they're trained on human intelligence, so.. not all problems will be solved/solvable by LLMs. But they'll be fast(er), like calculators are faster than us.

> It seems that all AI can do, it can just "replace the average".

That has not been my experience.

I think it's disappointing [1] for a group of people (however smart they are, whatever titles and fame they have) to think they are the gatekeepers of mathematics, the core of human knowledge. In this respect "mathematics is what mathematicians do" is no longer true, perhaps it was never a useful thing to say. Mathematics is (downstream) consumed in some shape or form by every human on Earth, and no elite, appointed group gets to decide how new mathematics is created. I feel this is a reaction to the sting of the reality check for these people, who are gifted with amazing genetics, and can think faster and deeper than other humans, that their gifts are relative to humans, and machines can still outdo them.. but this is already true for so many other areas, from physical strength to playing chess. Also, I feel this reaction is just non-sensical, it reminds me of when commercial software company CEOs [2] said open source is communism in the early 2000s, because they felt open source is threating their business model.

Lastly, deep down I don't really get what mathematicians are so upset about. All open problems, once solved, are not solved by 99.9999% of mathematicians, because it's solved by one or a handful of others, and the others just learn of the solution/proof. Mathematicians can now still organize conferences about these proofs, discuss them, digest them, think of new avenues of research, etc. They don't even have to invite OpenAI, in 6 months whatever model is available on chatgpt.com will be this smart anyway, and they can use it in the workshops for explanations, etc.

[1] I was going to write "I'm a bit disappointed by the response of the math community..", but then I remembered, whatever T. Tao writes is not the position of the math community, it's his position. Then I was going to write "I'm a bit disappointed by the response of T. Tao..", but then I remembered, I don't know Tao personally, so why am I disappointed?

[2] Steve Ballmer of Microsoft, I believe

I don't have insider information, but: if one of the AI companies really wants their models to become really good at this and publicly available datasets are scarce, they can probably just buy anonymized X-ray/MRI scans paired with the human doctor's diagnosis, and train on them. I don't know what the legal story is around this, but AI companies have near infinite money, so I'm sure they can buy their way around regulations (eg. by buying them from a less regulated country).

Recently I was at the doctor for a very minor sports injury ("tennis leg"). The doctor — who was in his 50s — was explaining the degrees of the injury to me, and quoted ChatGPT as the source, along the lines of "ChatGPT usually says you have to rest for.." I thought it's quite funny, but after thinking about it, it's really no surprise that doctors also use AIs to look things up / clean up their diagnosis.

Maybe I'm an oddball, but I've always thought this: if a cool company wants to hire me but isn't sure, give me a 3-6 month fixed contract and LFG. There's zero doubt in my mind it would work out. And if not, so what, I'll be okay.

Today I'm 45 with family and have a fancy VP title, but I would have no problem to do this for an interesting role at a cool company.

I don't get this.

Models have become a commodity, hardware not so much; why would Nvidia care? It's the models who are competing primarily, not hardware manufacturers.

Also, models are software, so easy to switch out. AI hardware otoh has a approx. 3-5 year useful life, I don't see how this affects hardware already running, or getting built.

This would be interesting if each of them had a high-level picture of the NN, "to scale", perhaps color coding the components somehow. OnMouseScroll it would scroll through the models, and you could see the networks become deeper, wider, colors change, almost animated. That'd be cool.

I'm a big fan of Amazon (UAE), in the sense that I buy stuff from Amazon almost every week. Having said that, in the last year or so, I found myself returning items more and more often. I get books damaged in shipping, wrong color items, wrong size shoes, empty boxes without the actual item, all sorts of weird failure modes. Marketplace sellers are definitely a big factor. As a response, lately I find myself thinking defensively when ordering from Amazon, like "what can go wrong", and pondering whether I should go out and find this in a store, buy from the brand's online store, get it off Ebay, etc.

Some thoughts, feedbacks, well-meaning critcism:

- on non-supported browsers (eg. mobile) don't render the app, show a message instead

- Shift + Home/End for selecting text doesn't work

- Ctrl + N for a new page doesn't work

- things like the above ^, while it may be trivial, will turn off people who will not spend more than 10-20s to evaluate

- you're refer the simplicity of text files, but the editor is not fixed width, it's more like a Markdown-ish editor, closer to Google Docs with its default styles

- when typing - it creates a list, but the list's left margin (where the - starts) is not aligned on the overall left margin of the page, it's very annoying to me

- to me, this is too far away from the simplicity of a text file — this comment, I'm writing it up in Sublime in plain text, and then I'll copy it to Chrome/HN, but I wouldn't do it in your tool — I love being able to Alt-Tab to Sublime, hit Ctrl+N to get a new "file" which is a temporary/ephemeral workspace for typing text, typing and getting sasisfying fixed-width readable text, and then copy/pasting it to my destination, which almost always has a less pleasant editor

- eg. I also write my non-trivial ChatGPT conversations like that ^

- one of the few exceptions is Google Docs, I can directly work into that

- the reason I ended on Google Docs: after a few minutes of playing around, it's not clear to me how using your product would be significantly better for me than using Google Docs for notes (which I don't) — I can use GDocs to write roughly Markdown-equivalent structure, and there's plugins to import/export Markdown — and GDocs is backed by Google, has a working editor, apps, multi-user support, commenting, Google ecosystem integration, etc.

> where 3 years ago they would have had to buy Photoshop and learn how to use it

This seems to imply that a significant fraction of Adobe revenues is from private individuals who pay monthly fees just to occasionally do image edits with Photoshop and similar tools.

I don't think that's true.