Mikhail Samin
@contact.ms
Future general AI systems threaten everyone and should be regulated globally. I run aigsi.org. Prev.: founded audd.io, printed 21k x HPMOR. GWWC pledger. Opinions are my own.
Get in touch: contact.ms
Get in touch: contact.ms
Reposted by Mikhail Samin
Our new paper is out in AI & Society: "The Necessity of AI Audit Standards Boards,"
By myself, Sammy Martin, Mark Bailey, @contact.ms, & Ross Greutzemacher.
We argue that without a board creating independent audit standards, AI auditing is broken by design.
link.springer.com/article/10.1...
By myself, Sammy Martin, Mark Bailey, @contact.ms, & Ross Greutzemacher.
We argue that without a board creating independent audit standards, AI auditing is broken by design.
link.springer.com/article/10.1...
May 5, 2025 at 7:08 PM
Our new paper is out in AI & Society: "The Necessity of AI Audit Standards Boards,"
By myself, Sammy Martin, Mark Bailey, @contact.ms, & Ross Greutzemacher.
We argue that without a board creating independent audit standards, AI auditing is broken by design.
link.springer.com/article/10.1...
By myself, Sammy Martin, Mark Bailey, @contact.ms, & Ross Greutzemacher.
We argue that without a board creating independent audit standards, AI auditing is broken by design.
link.springer.com/article/10.1...
They were translating the proof of Fermat's Last Theorem into Lean; an intermediary step wasn't compiling. They noticed a lemma was wrong.
(They have already fixed the proof but this is very funny! In some sense, the theorem has only been proven this year.)
(They have already fixed the proof but this is very funny! In some sense, the theorem has only been proven this year.)
Hello Bluesky! (and bye-bye Twitter).
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
Fermat’s Last Theorem — how it’s going
So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.
xenaproject.wordpress.com
December 25, 2024 at 11:19 AM
They were translating the proof of Fermat's Last Theorem into Lean; an intermediary step wasn't compiling. They noticed a lemma was wrong.
(They have already fixed the proof but this is very funny! In some sense, the theorem has only been proven this year.)
(They have already fixed the proof but this is very funny! In some sense, the theorem has only been proven this year.)
We’re now in the endgame.
After GPT-2 came out, I predicted weakly general AI with a median <2030 on Metaculus. After that, everything seemed to go as expected, with only minor surprises or minor absences of progress.
After GPT-2 came out, I predicted weakly general AI with a median <2030 on Metaculus. After that, everything seemed to go as expected, with only minor surprises or minor absences of progress.
December 23, 2024 at 7:42 AM
We’re now in the endgame.
After GPT-2 came out, I predicted weakly general AI with a median <2030 on Metaculus. After that, everything seemed to go as expected, with only minor surprises or minor absences of progress.
After GPT-2 came out, I predicted weakly general AI with a median <2030 on Metaculus. After that, everything seemed to go as expected, with only minor surprises or minor absences of progress.
I just made pure chocolate with colors!
If your technology is distinguishable from magic, it is not advanced enough!
No dyes! Just sugar + cacao + tiny amounts of milk and soya + science 😎
If your technology is distinguishable from magic, it is not advanced enough!
No dyes! Just sugar + cacao + tiny amounts of milk and soya + science 😎
December 11, 2024 at 8:10 PM
I just made pure chocolate with colors!
If your technology is distinguishable from magic, it is not advanced enough!
No dyes! Just sugar + cacao + tiny amounts of milk and soya + science 😎
If your technology is distinguishable from magic, it is not advanced enough!
No dyes! Just sugar + cacao + tiny amounts of milk and soya + science 😎
It’s been three years since I came out!
I’m glad I did it while still in Russia, two months before the war made me leave the country: it’s awesome to know I had enough courage for it and to have learned that even in Russia, I was surrounded by people who loved and accepted me for who I am.
I’m glad I did it while still in Russia, two months before the war made me leave the country: it’s awesome to know I had enough courage for it and to have learned that even in Russia, I was surrounded by people who loved and accepted me for who I am.
December 8, 2024 at 10:44 PM
It’s been three years since I came out!
I’m glad I did it while still in Russia, two months before the war made me leave the country: it’s awesome to know I had enough courage for it and to have learned that even in Russia, I was surrounded by people who loved and accepted me for who I am.
I’m glad I did it while still in Russia, two months before the war made me leave the country: it’s awesome to know I had enough courage for it and to have learned that even in Russia, I was surrounded by people who loved and accepted me for who I am.
