Chong Ruan

研究はAIを使って数学的証明を検証するためのデータ生成を強化する。

証明検索木に関する研究は、自動定理証明法を強化する。

DeepSeek-VL2は、視覚データとテキストデータを統合して、より賢いAIとのやりとりを実現するよ。