週末勝利:我提交的 Erdős 問題 #397 的證明被 Terence Tao 接受了。 這個證明是由 GPT 5.2 Pro 生成的,並用 Harmonic 進行了形式化。 許多未解的問題靜靜地等待著,有人來提示 ChatGPT 解決它們:
主題:
163