機械学習の進歩と全ゲノムの膨大なデータセットの組み合わせにより、生物学的基礎モデルを実現できます。Evoはゲノム基礎モデルであり、全ゲノム規模のDNA配列を生成するようにトレーニングされており、単分子や短い配列を超え、合成多成分生物システムを設計できます。Evoは全ゲノム規模で、細菌やバクテリオファージにおける必須遺伝子を教師なしで予測できます。
関連推奨
15歳の少年がAIを用いてランサムウェア攻撃を実行し、有名なプラットフォームの全サイト停止を引き起こす
15歳の高校生が生成AIを利用したサイバー攻撃で逮捕。2025年11月、バンダイナムコのアニメ配信サービス「バンダイチャンネル」に会員アカウントを不正侵入。未成年でAIを使った完全な攻撃手口が注目を集める。....
Jul 6, 2026
385.1k
数学研究のハードルを下げます:Mistral AI はオープンソースモデル「Leanstral 1.5」を公開
Mistral AIがLean4向けオープンソースモデルLeanstral1.5をApache-2.0ライセンスで公開。総パラメータ119B、活性化6Bで高性能・低コスト。miniF2F形式数学ベンチマークで検証・テスト共に100%達成、Putnam推論タスクにも挑戦。....
Jul 6, 2026
147.0k
Mistral AIが開発したオープンソースの数学証明ツール:119Bパラメータで6Bのみをアクティベート 解決コストは競合の1%に満たない
欧州のMistral AIが形式数学証明モデルLeanstral 1.5を発表。Lean4言語専用で、総パラメータ119Bに対し推論時は6Bのみ活性化。低コストでApache-2.0ライセンスで完全オープンソース。miniF2Fベンチマークで検証・テスト共に100%達成、PutnamBenchでも驚異的な性能を示した。....
Jul 6, 2026
164.8k
演算能力利用率が65%を突破:AIGCodeはL3レベルのプログラミングモデルでどうして突围したのか?
AIプログラミング分野で変動が起きている。多くの企業がL2コード補完で競争する中、AIGCodeはフルスタックソリューションで世代を超えた進化を目指す。その核心は、大規模モデルの課題が微調整ではなく基盤にあるとの洞察で、AutoCoder.ccを通じてL3の自律プログラミングを狙う。....
Jul 6, 2026
218.2k
騰訊混元Hy3の発表:エージェント機能と製品体験が向上
騰訊混元Hy3を発表し、スマートなレベルは2~5倍パラメータのエリートモデルに匹敵し、価格はより低く、安定性とコストパフォーマンスが向上しています。多くのビジネスで導入され、APIは騰訊クラウドTokenHubおよび海外プラットフォームにリリースされました。モデルは速い思考と遅い思考の統合を実現し、インテリジェントエージェントの実用性が劇的に向上しました。
Jul 6, 2026
198.5k
