What's the easiest way to hack Lean, Mathlib or something so that when people check your formalized proof of a Millennium Prize problem, it comes out saying "yes, the proof is good"? Asking for a friend.
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.
Musk's victims already number in the millions-a Lancet study predicts 14 million by 2030 as the indirect results of shutting down America's humanitarian work, which puts him up there in the Stalin/Mao category, and almost certainly the most deadly human of this millennium.
You want to you want to be able to walk into the rooms that you're in each day, and the good habit is the path of least resistance. It's the easiest thing to do. And a lot of the time you walk into rooms and it's the distractions that are easier to do and you feel like you're swimming upstream and trying to fight your environment to make a change happen.
Few will deeply read as many works of literature across the Western canon as Barzun did, given his exceptionally long career in academia, but From Dawn to Decadence grants the humble reader an extraordinary vantage, thanks to Barzun’s vast corpus of knowledge and his perspicacious observations about cultural currents across half a millennium.
So I do think scaling laws are working, but it's tough to get, at any given time, the models we all use the most, this maybe a few months behind the maximum capability we can deliver because that won't be the fastest, easiest to use, et cetera.
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.