AI & Enterprise

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

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

AI & Enterprise

韓仏、AI・半導体・量子で協力強化　パリでMOU締結

韓国科学技術情報通信部は9日、李在明大統領のフランス国賓訪問に合わせ、8日（現地時間）にパリでAI・半導体・量子分野の協力強化に向けたMOUを締結したと発表した。定例協議や共同研究、投資誘致を進める。