2月 12 2026 0 AIの嘘はもう通じない！数学の力で正しさを証明する最強の審判『FORMALJUDGE』 投稿者: ユウ 解説 ねえトモヤ、AIがAIを採点する時に、嘘をつかないように数学で厳しくチェックする技術が登場したんだよ！ 数学でチェック？今までのAIみたいに、なんとなくの雰囲気で評価するのとは違うのかい？ そうなの！『FORMAL…