米アンソロピックは、最新AIモデル「Claude Fable 5.2」を搭載した1000体のAIエージェントが、フェルマーの最終定理の証明を28.7時間で形式化したと発表した。 本成果は、複数のAIが汎 11日朝、南陽市の県道で軽トラックと乗用車が正面衝突する事故がありました。
この事故で車2台が炎上し、軽トラックの運転手が肋骨を折る大けがをしました。 午前7時50分ごろ、南陽市赤湯の県道で、軽トラックが 自身が起こした交通事故の修理費用を市の工事代金に上乗せして請求し、350万円をだまし取ったとして、阿波市長ら3人が逮捕された事件で、11月11日それぞれの身柄が徳島地検に送られました。 その後の調べで、