#Lean

OpenAIが次期モデルAstra関連で数学・理論CSの未解決問題10件の新成果とLean形式証明を公表した流れが継続。研究パートナー化の転換点とする見方と、査読待ち・問題選定バイアス・ミレニアム未達を強調する慎重論が並ぶ。