Archive - Silicon Reckoner

A human face for mathematics

From a talk at Boston University, April 22, 2024

Apr 24 •

News bulletin: another NASEM webinar on mechanization

April 23-25, registration details below

Apr 11 •

Sentimental mathematical education

A cartoon review of "Le théorème de Marguerite"

Apr 1 •

March 2024

News flash: new NSF funding for AI in mathematical reasoning

A neutral-sounding announcement that leaves questions unasked

Mar 13 •

February 2024

Mechanical understanding of proof?

Rough notes from a seminar talk at the Laboratoire SPHere in Paris

Feb 29 •

Kevin's all-synth techno band covers Andrew's greatest hit, part 2

Part two: what will Lean understand?

Feb 14 •

January 2024

Is AlphaGeometry a dead end?

There's at least one way to find out

Jan 30 •

About "artificial intuition"

Guest post by Jean-Michel Kantor

Jan 11 •

All the textbooks will have to change, say donors

ChatGPT agrees, in part

Jan 6 •

December 2023

Kevin's all-synth techno band covers Andrew's greatest hit

Part one of a vision of a possible synthetic future for mathematics and music

Dec 25, 2023 •

More good news about ChatGPT!

Some suggest naming the LLM to high-level post after it displays discernment

Dec 7, 2023 •

November 2023

Automation compels mathematicians to reflect on our values, Part II

Part II of the August 23, 2023 post entitled "In which the author harangues mathematicians…"

Nov 22, 2023 •

#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