K Dawg’s Reviews > Solving Mathematical Problems: A Personal Perspective > Status Update
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
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.
1 like · Like flag
