ChatGPT Pro に関する報道

OpenAIが数百件の大規模言語模型生成による数学の証明とそのLean形式化コードをオープンソース化したことは、大規模言語模型が厳密な科学推論と自動検証において実質的な一歩を踏み出したことを示している。しかし、フィールズ賞受賞者たちによる集団的な警告が示すように、数学的成果の工業的・大規模な産出は、従来の学術エコシステムや研究の土壌に深刻な衝撃をもたらす可能性がある。