タグ: LLMソルバー

MIT-IBM Watson AI Labが大規模言語モデルと充足可能性モジュロ理論ソルバーを組み合わせた革新的フレームワークを開発。従来0.6%だった複雑な制約を持つ旅行計画の成功率を93%超に向上...