noud
Joined 8 years ago
Joined 8 years ago
The article claims they have another model that can work without formal languages, and that it looks very promising. But they don't mention how well that model performed. Would that model also perform at silver medal level?
Also note, that if the problems are provided in a formal language, you can always find the solution in finite amount of time (provided the solution exists). You can brute-force over all possible solutions until you find the solution that proofs the statement. This may take a very long time, but it will find the solutions eventually. You will always solve all the problems and win the IMO at gold medal level. Alphaproof seems to do something similar, but takes smarter decisions which possible solutions to try and which once to skip. What would be the reason they don't achieve gold?
I'm way more productive, have to work less hard, and I'm not distracted. Sure, I don't do that fancy new thing, but at the end of the day (or earlier) I get the job done. And I'm judged on what I do, and how it brings money into the company, not how I do it.
Another benefit working mostly with a box of boring, old tools, is that it will likely still be relevant in the next 30 years. You never know how long that new popular thing will remain popular and useful. But I'm pretty sure we'll still fit datasets with linear/logistic regressions, optimize processes with linear programming, or do straightforward A/B testing for the next few decades (if not centuries or millennia).
[1] - https://www.imdb.com/title/tt1615147/quotes/?item=qt1531207&...
For me, the same trick also works for other things that are on my mind. Especially the things that would usually keep me up at night. I write them down, so that they get out of my head.
p.s. You'll be surprised how far you can get building a website with vanilla Javascript without the use of any advanced framework.
mon: 6, tue: 3, wed: 4, thu: 4, fri: 4 (only did 3).
I also have a weekly TODO list with more general tasks. It contained 4.
In my experience I often cannot do more than 5 tasks a day. So I try to limit it to 5 tasks if possible.