K.Kitamura

TL;DR I made two contributions to formal-conjectures, a DeepMind open-source repository that collects formalizations of open problems in mathematics. Through my contributions, I noticed three impacts of formalizing open problems in mathematics on AI: (1) the impact on the capabilities of mathematical benchmarks, (2) the impact on AI-human collaboration in...

Dinner talk between a startup founder father and his daughter. Bob (Father, founder of startup): Alice, don’t you like this steak? This is Kobe beef! Alice (Daughter): I feel sorry for the cow. The cow is the victim of my dinner. I feel sick for that cow’s pain. Bob: I...

Introduction By ChatGPT, AI influenced everywhere, and by economic impact, AI is developed rapidly. For humanoids, that kind of influencing and economic impact area is being sought. For that kind of area, I feel teleoperated extreme tourism has profound merits. In this article, I compare extreme tourism with factories, warehouses,...

Introduction Following the success of AI by Large Language Models (LLMs), the tech industry's focus has shifted toward humanoids in pursuit of the next breakthrough. However, an economically rational market that would drive humanoid development has yet to be found. Current discussions center on deploying humanoids as initial test runs...