Status Updates From Solving Mathematical Proble...
Solving Mathematical Problems: A Personal Perspective by
Status Updates Showing 1-30 of 88
K Dawg
is on page 21 of 128
bro wrote this when he was... 15 years old??
let's encode chapter 1 (strategies for problem solving) into our automated theorem provers and our program synthesizers. (on second thought, maybe let's not.)
chapter 2: number theory seems useless outside of math competitions.
— Dec 20, 2023 11:49AM
Add a comment
let's encode chapter 1 (strategies for problem solving) into our automated theorem provers and our program synthesizers. (on second thought, maybe let's not.)
chapter 2: number theory seems useless outside of math competitions.











