Hindley-Milner (HM) type inference, specifically
What’s changed in recent years is the speed and the scale at which they are being built. McKinsey estimates data center investment could reach a cumulative $6.7 trillion globally by 2030 to meet AI-driven demand—triggering a wave of construction unlike anything the industry has seen.
，这一点在heLLoword翻译官方下载中也有详细论述
For each model reasoning was enabled, and the reasoning effort is set to high. I included GPT 5.2 because it could be argued that it can reason better than mini. However, I couldn't test GPT 5.2 as much as the other models because it was too costly. Gemini 3 Pro was costly as well, but it didn't spend as much time as GPT 5.2 during reasoning which made it more affordable in my experience.
Copyright © ITmedia, Inc. All Rights Reserved.