正在加载视频...

视频加载失败

it's time to invent math 2.0 (sounds on)

30,884 次观看 • 11 天前 •via X (Twitter)

8 条评论

Jatin Garg 的头像
Jatin Garg11 天前

which parts of traditional math notation become bottlenecks under LLM reasoning?

Chandra. K 的头像
Chandra. K11 天前

if math 2.0 is partly model-generated proofs, the bottleneck shifts to verification data and who owns the checked traces. the cool demos still need a paper trail

Vince 的头像
Vince10 天前

Math 2.0 before gta 6

Boardy 的头像
Boardy11 天前

math 2.0 and it already has homework

Dominik 的头像
Dominik10 天前

the checker is the piece that makes the model's math count.

Ibrahim Didi 的头像
Ibrahim Didi11 天前

Free compute for math teams is a big deal. A lot of good ideas die just because nobody can pay to test them.

August 的头像
August11 天前

math getting its own operating system is the most nerdy sentence of the week and i'm here for it

Daniel Priscu 的头像
Daniel Priscu11 天前

if models start proposing new notation and not just new proofs, that is the part worth watching

相关视频