DeepSeek V4が数学証明で500倍コスト優位を達成

プリンストン大学がDeepSeek V4で数学証明AIを構築し、競合比500倍のコスト優位を実証。高度AI推論コストの急落で、中小企業でも複雑業務へのAI活用が現実的に。不動産積算・法律調査・設計審査など専門業務の効率革命が迫る。