TLA+の実用的な導入方法とエージェント型コーディングにおける重要性を解説し、AIが形式検証をモデルから機械検証可能な証明へ、最終的に検証済みソフトウェアへ変革する可能性を論じる
「TLA+がAIを救う」という言説に対して冷静な視点を持ち、TLA+の検査機能の限界や適用範囲について考察する記事
StarSkirmish Bench, a benchmark where LLMs play StarCraft BW by writing code, was updated with results from flagship models of major AI companies.
The article discusses the technical challenge of enabling System 1 LLMs to exhibit System 2 competencies.
A guest post by seven mathematicians discussing the formalization of mathematics, contextualized by reactions to a recent major OpenAI release.
Sakana AI announced the release of the third generation of The AI Scientist, named 'The Agentic Scientist', on October 15, 2026.