[B! AI] orkvのブックマーク

チャットAIに大学初年次の数学(解析学)をやらせてみる (ChatGPT, Bing)

2023の2022乗がちゃんとわからないという数学が不得意なChatGPT、果たして大学の1年生で学習する数学 (解析学) に出てくる証明はできるのでしょうか。 ChatGPTとBingAIで試しました。 (2023年2月末頃の記録です。今日2023年3月15日GPT-4が出たので、随分変わるのではないかと思います。) tl;dr 前半、やっぱり現在[1]のチャットAIは数学は苦手なんだなあ。後半、これはなかなかすごい。 1次関数の連続性まず、1年生用の簡単な証明問題をやらせてみます。入力関数f(x)=xがすべての実数xで連続であることを証明して下さい。 ChatGPTの出力 f(x)=xがすべての実数xで連続であることを示すには、以下の3つの条件を証明する必要があります。 f(x)が定義されているすべてのxで存在すること。 f(x)がx=aで連続であるための\epsilon-\d

orkv 2023/03/19

AI
数学

リンク

Googleが「ガビガビの低解像度画像を高解像度画像に変換するAIモデル」の性能を改善、人間が判別できないレベルに

GoogleのAI研究チームであるGoogle AIが、低解像度画像にあえてノイズを追加して「純粋なノイズ」になるまで加工し、そこから高解像度画像を生成する「diffusion model(拡散モデル)」という手法を改善する新たなアプローチを発表しました。「画質の悪い低解像度画像から高解像度画像を生成する技術」には、古い写真の復元から医療用画像の改善まで幅広い用途が想定され、機械学習の活躍が期待されているタスクの1つです。 Google AI Blog: High Fidelity Image Generation Using Diffusion Models https://ai.google blog.com/2021/07/high-fidelity-image-generation-using.html Enhance! Google researchers detail new m

orkv 2021/09/01

AI
画像

リンク

［速報］AIがコードのレコメンドやバグの指摘など開発を支援してくれる「Visual Studio IntelliCode」発表。Build 2018

［速報］AIがコードのレコメンドやバグの指摘など開発を支援してくれる「Visual Studio IntelliCode」発表。Build 2018 マイクロソフトは、米国シアトルで開催中のイベント「Microsoft Build 2018」で、AIを用いてプログラマの開発を支援する「Visual Studio IntelliCode」を発表しました。 Announcing Visual Studio IntelliCode - Enhancing everyday software development with the power of #AI across the entire development lifecycle. See what’s coming: https://t.co/k5eaYWcfnM #VS2017 #VSIntelliCode pic.twitter.co