2026 年 1 月 14 日、OpenAI の大規模言語モデル「GPT-5.2 Pro」と Harmonic 社の形式証明支援 AI「Aristotle」が協働し、長年未解決であった数学の難問「エルデシュ問題 #728
続きを読む
2026 年 1 月 14 日、OpenAI の大規模言語モデル「GPT-5.2 Pro」と Harmonic 社の形式証明支援 AI「Aristotle」が協働し、長年未解決であった数学の難問「エルデシュ問題 #728
続きを読む
ChatGPT の共同開発者である Liam Fedus 氏と、Google DeepMind で材料科学研究を率いた Ekin Dogus Cubuk 氏が、新たな AI スタートアップ「 Periodic Labs
続きを読む
ノースカロライナ州立大学の研究チームが、従来の 10 倍以上の速度でデータを収集できる AI 搭載の自律研究室を開発しました。この技術により、新素材の発見が大幅にスピードアップし、研究コストと環境負荷の削減も期待されてい
続きを読む