だんご日報開発者のための、AIと最新テックの串刺しニュース。

ホームイベントアーカイブ RSS 🇨🇳🇬🇧🇯🇵🇰🇷🇪🇸🇫🇷🇩🇪

#形式化証明

1 件 · すべてのタグ

📡 Events

$「1つのプロンプト、148分、30年の空白」——GPT-5.6がLeanで証明した凸最適化の下界$

「1つのプロンプト、148分、30年の空白」——GPT-5.6がLeanで証明した凸最適化の下界

AIGPT-5.6数学形式化証明

だんご日報 · 毎日の技術トレンド速報

データソース： Hacker News + Lobsters

アーカイブ · RSS

検索