AI & Enterprise

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

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

AI & Enterprise

LG CNS、AI・ロボティクスなど9職種で新卒100人規模を採用

LG CNSは、AIやロボティクスなど9職種を対象に、下期の新卒採用を100人規模で実施する。応募は14日までで、筆記選考にはAI活用力などを見極める「CNS特化検査」を新設した。