In reply to @ramez

Hugo Bowne-Anderson

@hugobowne · Twitter · 2026-09-12 22:20 UTC

@ramez > It's a field by which we increase our understanding of the universe. Advancing that is good. Totally agree. Merely proving a theorem using AI doesn’t increase understanding at all.