Archive - Silicon Reckoner

More thoughts on benchmarks

On progressive defeatism and its implications

1 hr ago •

July 2025

June 2025

Artificial Intelligence and Inherent Mathematical Difficulty (summary)

A guest post by Walter Dean and Alberto Naibo

Jun 22 •

Missed opportunities

…you know, regulated, ethical, human-centered AI, by responsible companies who we can trust, does have enormous potential.

Jun 8 •

May 2025

Late request for suggestions

Meeting in a few hours!!

May 15 •

Quanta disappoints yet again

But you can complain!

May 14 •

April 2025

My benchmark, first two questions

Warning: this post contains mathematics

Apr 23 •

A Silicon Valley plan to "fix" universities

Higher education under the venture capitalist "entrepreneurial lens"

Apr 6 •

March 2025

Message by a political prisoner on his birthday

Lena Gorban, the wife of the mathematician Azat Miftakhov’s, has requested that mathematicians post this message on Azat’s birthday, which is March 21.

Mar 21 •

Mechanization of mathematics: who decides?

Slideshow of the presentation at JMM 2025

Mar 12 •

4:45

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts