ページを読み込み中…
ページを読み込み中…
2件の記事
Googleは、Gemini 3 Deep Thinkを使用するAI「Aletheia」を発表した。AletheiaはFirstProofチャレンジで新規数学問題の6/10を解決し、IMO-ProofBenchで約91.9%を獲得し、人間の介入なしでの研究レベルの証明発見における大きな進展を示した。
Databricks共同創業者のMatei Zaharia氏がACMの最高賞を受賞した。現在は研究用AIの開発に取り組んでおり、「AGIは単に誤解されている」と主張している。