Incoming links: AI boom
"Autoformalization" refers to automatically converting a traditional human readable mathematical proof to a formal proof.
We use the term "automatic programming" to mean "generating code from natural language".
The ultimate high level of which is of course to program with:which is basically the goal of artificial general intelligence, especially according to The Employment Test definition of AGI.
computer, make money
The term has not always had that sense:sums it up.
automatic programming has always been a euphemism for programming in a higher-level language than was then available to the programmer
But in the current AI boom, this is the sense that matters, so that's what we will go with.
Google's quantum hardware/software effort.
The "AI" part is just prerequisite buzzword of the AI boom era for any project and completely bullshit.
According to job postings such as: archive.ph/wip/Fdgsv their center is in Goleta, California, near Santa Barbara. Though Google tends to promote it more as Santa Barbara, see e.g. Daniel's t-shirt at Video "Building a quantum computer with superconducting qubits by Daniel Sank (2019)".
This was the most obscene Nobel Prize of all time. They were completely swept away by the AI boom, and gave this ridiculous prize completely unrelated to Physics.
- Nobel Foundation:Ciro Santilli:
Did you know that models for machine learning were based on equations from physics?
Nice try but the 2024 Nobel Prize in Physics still isn't about Physics.
- academia.stackexchange.com/questions/214109/is-there-a-reason-why-the-nobel-prize-in-physics-2024-is-awarded-to-a-computer-s
- lamarr-institute.org/blog/thoughts-physics-nobel-prize-2024
- www.reddit.com/r/AskPhysics/comments/1fz27m5/nobel_prize_2024/ User ervexHublot comments
Nobel prize sponsored by Nvidia
- x.com/skdh/status/1843675220433088598
It is a bit sad to work on a project that no one cares about. You're not sure if you're crazy or a visionary. And it is kind of lonely.
I sometimes wonder if I would be happy doing this for the rest of my life if I could. And if it would have any impact at all no matter for how long I do it. My feelings in that area go from slightly depressed to slightly excited about the potential a few times every week.
As we all know, living and making life choices means sacrificing other things that could have been. When I was in France in 2015, I started a masters course in AI/robotics with the idea of doing a PhD and AGI research later on but quit half way because I felt university was such a waste of time.
But come now the AI boom, and although I still believe education is broken, I might have been much better off financially/reputationally if I had withstood the bullshit followed that path. Instead I sacrificed that for nerding about low level programming and open educational content.
It is hard to get such ideas off one's mind. But the fact is, for better or worse, I've started walking the path of educational reform and sacrificed others along the way, and this is the path that I'm further ahead than other people, and perhaps I should pursue it further to a possible conclusion. Also this path has the advantage that it is not fully exclusive from other academic endeavors as we will always need content about the new flashy things that keep coming up.
So yeah, it's hard, but here I am, and I'll go as far as I can without going into Charles Bukowski levels of personal sacrifice.