the math community needs to adopt a version of the ethical standards of experimental science. If you are using AI agents, you can't just give a proof (formalized or not), but need to also provide a detailed explanation of how these agents were used to get the result.
much cultural success is stochastic (the experimental evidence suggests that talent only moderately predicts success in culture markets), and that path dependence shapes chances of success
I think one reason why um the the AIs have been scaled up less than you would have otherwise expected and like for example cost of of per token hasn't increased as much as you might have thought is because there's a benefit to doing more of your um work at small scale where you can run more training runs and get more cycles in
And I think there's a lot of room in a lot of domains for much faster validation models, possibly learned valu validation models that can uh you know get you a a approximation to the true answer much much more rapidly. And that changes how those experimental loops can be thought of and how quickly you can go around those loops.
The big news were that at the Linux kernel maintainer summit, we agreed that Rust is no longer experimental in the kernel. That was really big for us compared to the previous year.
So, I think AI-type tools we really will will actually revolutionize the ex- the experimental side of math where where um you don't care so much about uh individual problems and and the process of solving them, but you you want to gather just large-scale data about about what things work, what things don't.
Nan Z. Da’s The Chinese Tragedy of King Lear also has an experimental form. Da is a professor of literature at Johns Hopkins who emigrated from Hangzhou before she was 7.
The Thursday Murder Club by Richard Osman is a delightful whodunnit set at a retirement home in the English countryside. Great characters. Fun twists. An endearing sense of humor. Nothing fancy or experimental, just a pleasure to read (and what more can you ask from a book, really?). If, like me, you enjoy mysteries, you'll be in good hands with Osman.
Oulipo's co-founder Raymond Queneau has a book to include here called Exercises in Style (trans. by Barbara Wright), which retells an intentionally banal story 99 times.
Decades of grading data; standardized test scores; cross-sectional, longitudinal, observational, and experimental studies; along with many other types of ancillary and convergent evidence, ultimately tell the same story: education can raise the absolute performance of most students modestly, but it almost never meaningfully reshuffles the relative distribution of ability and achievement
I think the platform that Lean and other software tools, so GitHub and things like that will allow experimental mathematics to scale up to a much greater degree than we can do now.
This book surveys theories of creativity, contrasting four competing explanations: expertise, genius, society, and chance, in offering a model for how creativity works. Simonton's work provides a nice hybrid between the purely anecdotal work of biographers and the data-driven work of experimental scientists.
That’s also why I like the dark disk because there’s a scientific story behind it. As far-fetched as it might sound, you could actually go and look for the experimental consequences, for the observational consequences to test whether it’s true.
Despite these advances, contemporary physical and evolutionary-history-based approaches produce predictions that are far short of experimental accuracy in the majority of cases in which a close homologue has not been solved experimentally and this has limited their utility for many biological applications.
Fusion power is speculative and experimental. I think it is reckless to
assume that the fusion problem will be cracked, but I’m happy to estimate
how much power fusion could deliver, if the problem is cracked.
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com.
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.