Silicon Reckoner
Subscribe
Sign in
Home
Archive
About
Latest
Top
Discussions
News bulletin: another NASEM webinar on mechanization
April 23-25, registration details below
Apr 11
•
Michael Harris
Share this post
News bulletin: another NASEM webinar on mechanization
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
Sentimental mathematical education
A cartoon review of "Le théorème de Marguerite"
Apr 1
•
Michael Harris
2
Share this post
Sentimental mathematical education
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
3
March 2024
News flash: new NSF funding for AI in mathematical reasoning
A neutral-sounding announcement that leaves questions unasked
Mar 13
•
Michael Harris
3
Share this post
News flash: new NSF funding for AI in mathematical reasoning
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
3
February 2024
Mechanical understanding of proof?
Rough notes from a seminar talk at the Laboratoire SPHere in Paris
Feb 29
•
Michael Harris
2
Share this post
Mechanical understanding of proof?
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
8
Kevin's all-synth techno band covers Andrew's greatest hit, part 2
Part two: what will Lean understand?
Feb 14
•
Michael Harris
1
Share this post
Kevin's all-synth techno band covers Andrew's greatest hit, part 2
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
13
January 2024
Is AlphaGeometry a dead end?
There's at least one way to find out
Jan 30
•
Michael Harris
1
Share this post
Is AlphaGeometry a dead end?
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
11
About "artificial intuition"
Guest post by Jean-Michel Kantor
Jan 11
•
Michael Harris
7
Share this post
About "artificial intuition"
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
3
All the textbooks will have to change, say donors
ChatGPT agrees, in part
Jan 6
•
Michael Harris
6
Share this post
All the textbooks will have to change, say donors
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
7
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
•
Michael Harris
5
Share this post
Kevin's all-synth techno band covers Andrew's greatest hit
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
22
More good news about ChatGPT!
Some suggest naming the LLM to high-level post after it displays discernment
Dec 7, 2023
•
Michael Harris
Share this post
More good news about ChatGPT!
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
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
•
Michael Harris
1
Share this post
Automation compels mathematicians to reflect on our values, Part II
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
1
Reverse-engineering Poincaré, two years later
An inconclusive second attempt to take up Kantor's challenge
Nov 9, 2023
•
Michael Harris
Share this post
Reverse-engineering Poincaré, two years later
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
1
Share
Copy link
Facebook
Email
Note
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts