#gemini

GoogleのStellar Colosseumは競合する証明戦略を並列に走らせ、研究水準の定理証明で71.0%、Codeforcesの222問中218問を解きました。

arXivの研究で、LLM修復ループが正しいプログラムを壊す率は0.261、バグを直す率は0.023だった。著者らはその挙動を駆動する内部方向まで突き止めた。

GoogleのWindows向けGeminiネイティブアプリは、Alt+Spaceでどのアプリの上にも開く。GmailとGoogle Driveに接続し、Windows 10/11で全世界から利用できる。