Must be one of the survivors, now that the mothership in Frisco (https://islandfreepress.org/outer-banks-news/frisco-ufo-dest...) burned down: > You've seen them? > Yes sir. > You realize there's a government directive…
This dispels all my doubts regarding the utility of this website!
"Element Pro" is not Open Source. Nor does it even come from the EU. From the outside it's incomprehensible anyone in EU bureaucracy would want something like this, given that there are good OS alternatives.
No one is "responsible". If the paper is read, depends on the interest of the individual scientist. Many mathematicians interested in a theorem proven/disproven in a new AI paper will be curious, even if it is utterly…
>> The more raw these proofs are, the better. This was my opinion. But anyone arguing to publish "results immediately" is likely to imply something like it. I guess in chemistry we have the situation you envision - for…
I'd prefer AI companies don't decide who's "cleaning up pre-print papers". This should remain the job of mathematicians at universities, which I am happy to pay with my taxes. Ideally there was something like a Bermuda…
Where did I say they should "drop everything"? I hope to read more about how they envision their future, instead of all this regretting and whaling how one company (that I very much dislike too) published a large amount…
> I wish they take a bit of more time There are good reasons not to delay publishing at all: > They should release all their results immediately. (Imagine working on one of the problems they already solved.) This is the…
Is it not more democratic, if AI companies announce new theorems and proofs, and the discipline of mathematics furthers "our understanding" - instead of that the wealthiest universities in existence (all of them in the…
Isn't it counterproductive for every European country with a bit of extra money to develop its own open source software stack? Don't the stakeholders perceive this as a problem, too? Or is it inevitable, given how…
Thanks for pointing me to this video - it's been interesting to follow the discussion! (I personally don't see that math has lost its purpose at all in the past months. I mean, where would we be, if we were thrown at…
I would like to ask a question to you as a math professor: I think we all agree we do not know what the discipline will look like in ten years. But doesn't the rapid surge in mathematical proofs and methods imply that -…
I clicked on the dot for Khartoum, the only one in Sudan. It shows the Nile in Egypt, related to a movie that plays (only) in Egypt. A bit disappointing.
I suppose you mean the book "How to Make the World Add Up" of Tim Harford?! :-)
> reduced to checking the definition of the constant But this doesn't mean the remaining task is small or doesn't ask much from the reviewer, does it?! Otherwise we'd see a considerable turn-out of new findings on…
Anyone interested in the subject area has noticed the recent surge of AI-assisted or generated mathematics. From the outside, it is very hard to see, if AI indeed already speeds up progress in mathematics in general -…
> on a long enough time horizon Gitlab or other provider isn't significantly better I suspect the same. But do you have any evidence for this? The status pages of Github and Gitlab (more precisely their history pages)…
Agreed. Tangentially: Although many of the creators, maintainers and board members of Palomar have a background in Lean, the project welcomes alternative proof assistants, see "What about other proof assistants?" on the…
> suffer whenever either of the sources goes unreachable This is not the way Palomar works. From the About page (https://palomar-registry.org/about): > Palomar does keep a public preservation fork of every registered…
For a list of AI accomplishments in mathematics see https://mathoverflow.net/questions/502120/examples-for-the-u... - or a candidate list here: https://aimath.robertj1.com/ . Many have observed an affinity of AI to the…
This is a reference to Inter-Universal Teichmüller Theory. Its Wikipedia article gives a good overview (https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCll...). In maths lasting disagreements over a published…
Please critisize the harassment, not libraries for providing shelter to homeless people. A well managed library has a degree of supervision that allows the visitor to do something about harassment. This level of control…
https://govstack.global/ is trying to find common grounds, but it doesn't coordinate any government work
I'm a member of an organization that collects money for Sudanese soup kitchens and hospitals in affected areas (https://sound-of-sudan.org/) , and I know a few other organizations that indirectly support such campaigns…
According to Dario Amodei, companies bear a lot of responsibility and must act on this. Just read https://www.darioamodei.com/essay/the-adolescence-of-technol... . But it seems that he has given up on this, even if he…
Must be one of the survivors, now that the mothership in Frisco (https://islandfreepress.org/outer-banks-news/frisco-ufo-dest...) burned down: > You've seen them? > Yes sir. > You realize there's a government directive…
This dispels all my doubts regarding the utility of this website!
"Element Pro" is not Open Source. Nor does it even come from the EU. From the outside it's incomprehensible anyone in EU bureaucracy would want something like this, given that there are good OS alternatives.
No one is "responsible". If the paper is read, depends on the interest of the individual scientist. Many mathematicians interested in a theorem proven/disproven in a new AI paper will be curious, even if it is utterly…
>> The more raw these proofs are, the better. This was my opinion. But anyone arguing to publish "results immediately" is likely to imply something like it. I guess in chemistry we have the situation you envision - for…
I'd prefer AI companies don't decide who's "cleaning up pre-print papers". This should remain the job of mathematicians at universities, which I am happy to pay with my taxes. Ideally there was something like a Bermuda…
Where did I say they should "drop everything"? I hope to read more about how they envision their future, instead of all this regretting and whaling how one company (that I very much dislike too) published a large amount…
> I wish they take a bit of more time There are good reasons not to delay publishing at all: > They should release all their results immediately. (Imagine working on one of the problems they already solved.) This is the…
Is it not more democratic, if AI companies announce new theorems and proofs, and the discipline of mathematics furthers "our understanding" - instead of that the wealthiest universities in existence (all of them in the…
Isn't it counterproductive for every European country with a bit of extra money to develop its own open source software stack? Don't the stakeholders perceive this as a problem, too? Or is it inevitable, given how…
Thanks for pointing me to this video - it's been interesting to follow the discussion! (I personally don't see that math has lost its purpose at all in the past months. I mean, where would we be, if we were thrown at…
I would like to ask a question to you as a math professor: I think we all agree we do not know what the discipline will look like in ten years. But doesn't the rapid surge in mathematical proofs and methods imply that -…
I clicked on the dot for Khartoum, the only one in Sudan. It shows the Nile in Egypt, related to a movie that plays (only) in Egypt. A bit disappointing.
I suppose you mean the book "How to Make the World Add Up" of Tim Harford?! :-)
> reduced to checking the definition of the constant But this doesn't mean the remaining task is small or doesn't ask much from the reviewer, does it?! Otherwise we'd see a considerable turn-out of new findings on…
Anyone interested in the subject area has noticed the recent surge of AI-assisted or generated mathematics. From the outside, it is very hard to see, if AI indeed already speeds up progress in mathematics in general -…
> on a long enough time horizon Gitlab or other provider isn't significantly better I suspect the same. But do you have any evidence for this? The status pages of Github and Gitlab (more precisely their history pages)…
Agreed. Tangentially: Although many of the creators, maintainers and board members of Palomar have a background in Lean, the project welcomes alternative proof assistants, see "What about other proof assistants?" on the…
> suffer whenever either of the sources goes unreachable This is not the way Palomar works. From the About page (https://palomar-registry.org/about): > Palomar does keep a public preservation fork of every registered…
For a list of AI accomplishments in mathematics see https://mathoverflow.net/questions/502120/examples-for-the-u... - or a candidate list here: https://aimath.robertj1.com/ . Many have observed an affinity of AI to the…
This is a reference to Inter-Universal Teichmüller Theory. Its Wikipedia article gives a good overview (https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCll...). In maths lasting disagreements over a published…
Please critisize the harassment, not libraries for providing shelter to homeless people. A well managed library has a degree of supervision that allows the visitor to do something about harassment. This level of control…
https://govstack.global/ is trying to find common grounds, but it doesn't coordinate any government work
I'm a member of an organization that collects money for Sudanese soup kitchens and hospitals in affected areas (https://sound-of-sudan.org/) , and I know a few other organizations that indirectly support such campaigns…
According to Dario Amodei, companies bear a lot of responsibility and must act on this. Just read https://www.darioamodei.com/essay/the-adolescence-of-technol... . But it seems that he has given up on this, even if he…