AI & Enterprise

Cardano創業者、AIの数理証明能力に驚き　「想像以上の進化」

Cardano創業者のチャールズ・ホスキンソン氏は、AIが複雑な数学証明を生成し、形式的に検証する段階まで進んだと指摘した。研究アイデアや知的財産の流出リスクを踏まえ、閉じたAI環境の必要性も訴えた。

Science & Technology

政府出資研究機関、PBS廃止後に中核任務を軸に再編　成果連動型報酬を拡充

科学技術情報通信部は8日、PBS廃止後の政府出資研究機関について、中核任務を軸にR&D体制を再編すると発表した。成果連動型報酬への転換に加え、大型技術移転やディープテック創業を支える総括TLOの正式整備も進める。