https://aifriends.jp/claude-fermats-last-theorem-lean-formalization/AIフレンズja2026-09-05T13:35:13+09:00フェルマー証明をAIが11日で検証｜1300万行 https://aifriends.jp/%e3%83%ad%e3%83%b3%e3%83%89%e3%83%b3%e3%81%a7%e8%8b%b1%e5%9b%bd%e5%88%9d%e3%81%ae%e3%83%ad%e3%83%9c%e3%82%bf%e3%82%af%e3%82%b7%e3%83%bc%e9%96%8b%e5%a7%8b%ef%bd%9cuberxwayve%e3%80%8114%e4%b8%87/AIフレンズja2026-09-05T11:04:09+09:00ロンドンで英国初のロボタクシー開始｜Uber×Wayve、14万人が利用登録 https://aifriends.jp/nvidia-pair-local-ai-cluster/AIフレンズja2026-09-05T07:35:55+09:00余ったPCがAIクラスタに｜NVIDIA無料ツールPAIR https://aifriends.jp/microsoft-mai-transcribe-2/AIフレンズja2026-09-04T19:34:52+09:00文字起こしAIが1時間15円｜Microsoftが10倍速 https://aifriends.jp/openai-ai-native-company-workflows/AIフレンズja2026-09-04T13:35:08+09:00AIネイティブ企業の6ステップ｜差は8.3倍 https://aifriends.jp/ai%e3%82%a8%e3%83%bc%e3%82%b8%e3%82%a7%e3%83%b3%e3%83%88%e3%81%8c%e8%a8%98%e6%86%b6%e3%82%92%e6%8c%81%e3%81%a4%e6%99%82%e4%bb%a3%e3%81%b8%ef%bd%9chugging-face%e3%80%8cfunes%e3%80%8d%e3%81%8c%e3%83%88/AIフレンズja2026-09-04T11:06:44+09:00AIエージェントが記憶を持つ時代へ｜Hugging Face「Funes」がトークン8分の1削減 https://aifriends.jp/ai-search-citation-manufactured-sources/AIフレンズja2026-09-04T07:34:15+09:00AI検索の引用6割は無名サイト｜21万ページを量産した3社 https://aifriends.jp/ai-productivity-saved-time-disappears/AIフレンズja2026-09-03T19:36:41+09:00AIで浮いた時間が消える｜実感は4人に1人