GPT-6 Sol tops the published TerminalBench-Fn leaderboard · Digg