We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

John Grass | Sr. Manager, Engineering

When we retrain, when we rebuild, and when we leave a model alone.

OpenAI gave a last-minute presentation at the Black Hat security on Wednesday about “the Hugging Face Incident” (previously on this blog). The video was published yesterday. It’s short and information...

How Airbnb teams build trustworthy Generative AI products by treating evaluation as a first-class engineering discipline; not an…

A scholar in his niche. Trinity College, Cambridge (2010) 2008年、このブログを書き始めた頃、読者の方からの質問に答える形で、「大学院教育で何ができると、人が育ったと言えるのか」という論考を書いた。気がつけば、もう18年前になる。kaz-ataka.hatenablog.com日米双方の研究大学の大学院に身を置いた目から見ると、日本の大学...

A UI design book to learn a logic-driven approach to design intuitive, accessible, and beautiful interfaces using quick and practical guidelines.