OpenAI の次世代主要モデル Astra の内部版が、これまで未解決だった数学の問題10題を解いた。このモデルは Sol API のレートで約2,000ドル相当のトークンを消費して解答を導き出し、人間が後からそれを論文形式に整理し、証明検証システムである Lean を使って形式化した。
こういう要約が、毎朝あなたのメールに届きます。
業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。
Chunghwa Telecom社長のRong-shy Lin氏は、会話型AIから自律型AIエージェントへの移行が企業導入を変え、大規模導入にはデータガバナンス、アクセス制御、説明責任が不可欠だと述べた
CoreWeaveは金曜の時間外取引で5%下落し、週間で15%安となる見通し
AppleとMetaは、ハイエンドMacでの動作を想定した新しいオープンウェイトAIモデルを共同で公開すると発表した
Crunchbaseデータで、投資家はQ3にアジア新興企業へ385億ドルを投じた
作家兼起業家が毎日のToDoリストを開くと156件が並んでおり、AIアシスタントは仕事を完了させるより速く生成できると結論づけた
Anthropicの長期投資家がFortuneに、株式は約1兆8000億ドルで価格設定され、IPO後2兆3000億ドルから2兆4000億ドルと予想
