HN user
mkprc.xyz
The article doesn't attempt to answer the question in the title, but instead, more journalistically, quotes some mathematicians discussing the topic.
I think what bothers me when asking "Can _Math_ as We Know It Survive AI?" is the lack of distinction between Math as a topic of study and intellectual pursuit, and Math as an academic industry focused on publishing papers and garnering citations and pushing the frontier of knowledge.
I wish it were clear that someone wrote this article. It's posted under the Aventine [1] substack which is maintained by Danielle Mattoon, but did she write it?
A vibe-coded PreTeXt editor webapp. Okay. GitHub link at the bottom 404s, but presumably intends to link here: https://github.com/harsharajkumar-273/Proofdesk
Already posted here
Appears to be crankery
The (boring) answer to "who gets the prize?" is whoever the CMI decides gets the prize.
https://www.claymath.org/wp-content/uploads/2022/03/millenni...
I also think about this, and worry about this. My go-to example is that the file-system in Windows used to clearly be a tree, and the file explorer was how you traversed this tree. With "Libraries" and other shenanigans with the location of the Desktop folder, it's not much of a tree anymore, and I wonder if this is related to kids-these-days not understanding the basics of file systems anymore.
https://www.theverge.com/22684730/students-file-folder-direc...
Right?! It's a bummer when a nice-looking website is now a red flag. It's become part of my workflow now browsing the web to check the About/Contact page on a website immediately; if there's no real person behind the site, how can it be trusted?
For anyone interested in Grothendieck's opinions on kimchi …
https://mikepierce.github.io/grothendieck-kimchi/translation...
They're most definitely trying to ride on the recent anti-technology in school push.
It's about ensuring "academic honesty" on exams. Also, it's nice to have buttons rather than a touchscreen. Also, there is something to be said about using a device with a different form-factor than the one on which a student also scrolls TikTok/IG and distracts themselves otherwise.
Sniff test: a paper with a single author and 53 revisions, listing a gmail address as contact information despite the author, after a brief internet search, appearing to have affiliations with CSU Global, (maybe) the University of Central Florida, and the San Jose State University Department of Aerospace.
It appears Apple/iTunes has already responded. He's no longer on the Top 100: USA list:
https://music.apple.com/us/playlist/top-100-usa/pl.606afcbb7...
Putting it all together isn’t a trivial task, […] the team offers training from its researchers and support throughout the building process. The training would take up to three months, […] with the whole system being ready to run after at least 10 months of work.
The EduQit quantum computer comes with five qubits, which makes it less than a tenth of the size of cutting-edge devices, but it also only costs around €1 million, making it much cheaper.
Prior to this article, I didn't think of currying as being something a person could be "for" or "against." It just is. The fact that a function of multiple inputs can be equivalently thought of as a function of a tuple can be equivalently thought of as a composite of single-input functions that return functions is about cognition, and understanding structure, not code syntax.
Hosting and nicely typesetting some of the essays/speeches of Alfred North Whitehead on education and the role of Universities, now in the public domain. Most are from Project Gutenberg, but I've been manually transcribing a couple others.
Here's a direct link to the 178 page preprint:
A counter comment: I'll bet many folks didn't know what an em-dash was until the whole "you can tell it's AI because of the em-dashes" thing. Then everyone learned what an em-dash is, and every pause in every sentence thereafter suddenly deserves an em-dash. While I suspect it's mostly bots, the number of sincere (human) new em-dashers isn't negligible.
Do you have a direct link to the audio stream? I'd probably add it to my go-to list of stations.
I've noticed this too. It might be a chicken-or-the-egg thing though. I think LLMs learned this sort of "punchy" writing style from the blogs of software developer who blog and from Linkedin posts.