|
|
|
|
|
|
by dandanua
338 days ago
|
|
|
You don't need specialized tooling like Lean if you have enough training data with statements written in the natural language, I suppose. But the use of AlphaProof/AlphaGeometry type of learning is almost certain. And I'm sure they have spent a lot of compute to produce solutions, $10k is not a problem for them. The bigger question is - why should everyone be excited by this? If they don't plan to share anything related to this AI model back to humanity. |
|
|