Mastodon discussion Oct 20

> 數學界近日的「大件事」(重要事件),是 OpenAI 丢出了 722 篇數學研究文稿。...> 專業數學界之前已因 Navier-Stokes Equations 在特定條件下的解而和 OpenAI 結下樑子,這回同樣令專業數學界不滿:...

> 數學界近日的「大件事」(重要事件),是 OpenAI 丢出了 722 篇數學研究文稿。...> 專業數學界之前已因 Navier-Stokes Equations 在特定條件下的解而和 OpenAI 結下樑子,這回同樣令專業數學界不滿:大部分文稿沒有附上 Lean 的形式化證明——這雖非「人」的數學界的專業要求,卻是(至少我是這樣理解)大家期望 AI 「...

Mastodon discussion Oct 20

【本当良い】UIデザインをAI生成する『Stitch』が本気の進化してたので解説!根本的なデザインアップデートとシェア機能やパターン機能が最高ですhttps://www.aiandemily.com/%e3%80%90%e6%9c%ac%e...

【本当良い】UIデザインをAI生成する『Stitch』が本気の進化してたので解説!根本的なデザインアップデートとシェア機能やパターン機能が最高ですhttps://www.aiandemily.com/%e3%80%90%e6%9c%ac%e5%bd%93%e8%89%af%e3%81%84%e3%80%91ui%e3%83%87%e3%82%b6%e3%82...

Mastodon discussion Oct 20

AIの「実行しました」を、そのまま信じてはいけない…OpenAIが新型モデルの公開を断念した本当の理由 | PRESIDENT Online(プレジデントオンライン) https://www.yayafa.com/2915006/ #Age...

AIの「実行しました」を、そのまま信じてはいけない…OpenAIが新型モデルの公開を断念した本当の理由 | PRESIDENT Online(プレジデントオンライン) https://www.yayafa.com/2915006/ #AgenticAi #AI #ArtificialGeneralIntelligence #ArtificialIntelli...

AI Blogs (RSS) news Oct 20

OpenAI acquires Orchestra Bio

OpenAI is acquiring Orchestra Bio to bring AI-powered operations to life sciences R&D, helping biopharma teams accelerate drug development and advance new treatments.

Mastodon discussion Oct 20

樺島万里子 Mariko Kabashimaさん:「続き)ただし、航空券について弁護側は、購入した軍関係者は妻の親族であり、個人のカードで支払ったと説明しています。そして、この記事にはもう一つ重要な指摘があります。2015年にも、Twitt...

樺島万里子 Mariko Kabashimaさん:「続き)ただし、航空券について弁護側は、購入した軍関係者は妻の親族であり、個人のカードで支払ったと説明しています。そして、この記事にはもう一つ重要な指摘があります。2015年にも、Twitter(現X)の社員がサウジ政府のために利用者情報へ不正アクセスしたとされる事件がありました。関与した別の元社員は2022...