AshutoshShrivastava(@ai_for_success):Surprising nobody is talking about this yet. Google posted yesterday that Antigravity + Gemini 3.7 Flash solved 7 open problems across venues like FOCS and JMLR, including Knuth’s Cycles Conjecture with 40+ page proofs verified in Lean. They also built an out-of-order RISC-V CPU simulator from scratch that boots xv6 to a shell.

AshutoshShrivastava

@ai_for_success

Post about latest AI news, tools, tutorials and memes.

参加 January 2023

2.6K フォロー中 81.2K ファン

AshutoshShrivastava@ai_for_success

2026.09.01 11:20

Surprising nobody is talking about this yet. Google posted yesterday that Antigravity + Gemini 3.7 Flash solved 7 open problems across venues like FOCS and JMLR, including Knuth’s Cycles Conjecture with 40+ page proofs verified in Lean. They also built an out-of-order RISC-V CPU simulator from scratch that boots xv6 to a shell.