PSI uses AI to solve a math conjecture and explores commercialization
What happened
Physical Superintelligence (PSI) researcher David Turturean used early access to Anthropic's Fable 5.2 to solve the 18-year-old Aaronson-Ambainis conjecture, per a Nov 11 report. The result was auto-formalized in Lean and sent to relevant researchers for review; the report does not say what they concluded. PSI also earns revenue from data center optimization and is exploring how to turn AI-driven theoretical physics breakthroughs into practical technology.
Written by AI from the coverage · updated yesterday
Coverage
Follow the reports to see the story from different sides.
- TechCrunch · AIPSI is trying to make a business out of AI-driven scientific discovery
Physical Superintelligence（PSI）正以数据中心优化获取收入，并探索将 AI 驱动的理论物理突破转化为实际技术。其研究人员 David Turturean 使用提前获准访问的 Anthropic Fable 5.2，求解了提出已有18年的 Aaronson-Ambainis 猜想，结果经 Lean 自动形式化并交由相关研究者审阅。
Heat over time
Heat now 4·Comparable peak 10（Nov 11 04:00）·Comparable change over 24 hours -50%
The trend only compares accounts observed without gaps, so its range may be smaller than the current heat. Hover or tap the chart for each hour; the left and right arrow keys step through it.