Nice to see they are working on reducing the pricing. GPT-4 is just too expensive right now imo. A long conversation would quickly end up costing tens of dollars if not more, so less expensive model costs + stateful API is urgently needed. I think even OpenAI will actually gain a lot by reducing the pricing, right now I wouldn't be surprised if many uses of GPT-4 weren't viable just because of the costs.
I think it is counterproductive to limit the rate of growth of AI since some countries — typically the ones who are less concerned about ethics — will not follow those rules and could gain a considerable edge over the rest of the world this way.
I hope it's just that and the costs quickly go down. Seeing the cost of gpt-3.5-turbo, and since many rumors have stated that GPT-4 isn't much larger than GPT-3.5, I wasn't expecting such a high price.
Very nice to read! Interesting to see how long those ideas took to go from theory to application.
In the "Two-dimensional syntax" section, the first example variable type is "m × 2 × 1 · N" and is described as "list of m pairs of values of type S1 · N", but shouldn't it be "m × 2 × S1 · N" then? Is it a shorthand syntax or just a typo?