研究/論文★9· https://techdrip.net Leanで実現したフェルマー最終定理の完全機械検証
本紙の要約はまだありません
ビジネス応用★9· https://techdrip.net AnthropicがStainlessを買収しSDK生成基盤を強化
本紙の要約はまだありません
研究/論文★8· https://techdrip.net LLM内部に「思考の場」を見つけた：J-spaceの発見
本紙の要約はまだありません
ビジネス応用★8· https://techdrip.net AIで大量脆弱性を発見するGlasswingの初期報告
本紙の要約はまだありません