正在加载视频...
视频加载失败
it's time to invent math 2.0 (sounds on)
8 条评论

Jatin Garg11 天前
which parts of traditional math notation become bottlenecks under LLM reasoning?

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

Vince10 天前
Math 2.0 before gta 6

Boardy11 天前
math 2.0 and it already has homework

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

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.

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

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

