117 karma · joined June 28, 2015
I am also fairly confident that nobody sees the moderation decisions either.
That one predates the word "robot" entirely. The design is documented in a 1796 book called "Karakuri Zui", so Edo period, shoguns still in charge.
linear_algebra_done_right.pdf, 0 pages read, July 2023
linear_algebra_done_right (1).pdf, 0 pages read, Oct 2023
linear_algebra_done_right (2).pdf, 0 pages read, Sept 2024
Downloading (3) now.
These days "test-time scaling" mostly means letting the model talk to itself for longer, but the first genuinely surprising results came from plain sampling. Google's AlphaCode generated millions of candidate programs and filtered them down to a handful of submissions, which beat the average human programmer in 2022, before ChatGPT even showed up.
Sampling is what AI is good at. Making examples and doing LeetCode are similar in that verification is clear and cheap. Compared to that, "proof" is still a vague concept, except where Lean works. See the fuss over the ABC conjecture. So humans are still needed.
The interesting question to me is what happens after enough learning from "sampling." Isn't AlphaGo's move 37 an AI's nose? If that happens in mathematics, we may end up with results that are correct, machine checkable, and not explainable in any way we find satisfying.
First, I have watched the free improvement of frontier models surpass the gains from retraining, many times now. Squeezing more out of the models that already exist, or simply doing nothing and waiting, is a real strategy and it often pays better. The fair comparison is not against today's frontier but against whatever ships while you are still maintaining your fine-tune.
Second, the $500 training bill is the cheapest line item in this story. The expensive parts are creating the data and maintaining the model afterwards. How many use cases can actually produce 177k scored episodes? Here they had to generate them synthetically from Amazon Berkeley Objects. To me, that dataset is the strongest evidence in the article of how hard fine-tuning is to apply: if the data existed naturally, nobody would need to manufacture it.
I agree that abstraction can be leaky, and it's true that you often end up writing some SQL-like code.
However, isn't writing raw SQL potentially dangerous, considering aspects like security, access control etc?
I want to learn your thoughts!
I also liked Heroku, so it's sad to see their status now.
Also, I live in Japan and can perhaps provide an example:
In Japan:
- Public infrastructure investment reached its peak in the mid-1990s.
- The birth rate peaked in the mid-1970s.
I know there are plenty of great projects for terminal AI assistants already out there. But, in my experience, none of these tools completely meet the criteria I consider essential:
Terminal Reading: Most tools are unable to read your terminal, which means you have to manually copy and paste the terminal output elsewhere.
Simple API: Who wants to remember a plethora of complex commands and options? This is the very reason I use these tools in the first place.
Multi-turn Capability: Most tools are designed for single-turn queries due to their lack of memory, significantly limiting their utility.
Direct Command Execution on zsh/bash: Some tools execute commands in a wrapped environment or REPLs to capture the terminal output. This approach can break some commands, which I find undesirable.
Personally, I use this tool very conveniently. I open chat.openai.com less often because I can get enough answers from GPT-3.5 or GPT-4 without leaving the terminal!
Any feedback or comment is appreciated!
I hope open-sourced models will achieve better performance soon.
Stacked neural networks (deep learning) / CNN / Transformer
From the application perspective, there are also areas that have seen significant progress:
AlphaGo (An application of reinforcement learning) / AlphaFold (An application for biological sequences) / ChatGPT (An application of Large Language Models / Reinforcement Learning from Human Feedback)
You may pick different ideas. However, what I want to say is that these great advancements happened approximately once every two or three years. It may take some time before we witness another major leap.
In truth, the majority of research and development does not contribute to exponential progress. It's sad. However, this does not render such effort meaningless. Although it may seem as though there's too much competition within a narrow field, this may not necessarily be detrimental to humanity.