〈今日西松屋行ったらハサミかなんかで服ズタズタにされてて恐怖だった… （中略）子供いっぱいいるのに怖すぎる〉——夏休みを迎えた7月末、ズタズタになった服の写真とともに、SNSのThreadsにこのような 皆さんは"フードテック"という言葉をご存じだろうか？ 食のシーンにデジタル技術（特にIoT）やバイオサイエンスなどが融合することで起こるイノベーションのトレンドの総称であり、特定の技術というわけでは 米OpenAIは、開発中の次期主力モデル「Astra」の内部バージョンが、数学および理論計算機科学における10件の未解決問題を解決したと発表した。
10年以上進展のなかった難問が含まれており、証明プロ