Unverified50% confidenceFactExact time
Recent work such as AlphaTensor and FunSearch has used search and learning methods to discover new algorithms or new combinatorial constructions for matrix multiplication, and some results have been proven correct and are of practical value.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/13/2026
First Seen
Valid until: 1/11/2027
Sources
Related Entities
Related Claims
UnverifiedAlphaProof is based on a combination of reinforcement learning and a formal proof system (the Lean proof assistant), exploring proof paths through algorithms such as Monte Carlo tree search.68% similarUnverifiedEPOCH brings substantive progress on ten concrete discovery problems, including improved executable constructions, optimized algorithms, counterexamples, and proof-backed results, spanning both the mathematical and computational domains.65% similarUnverifiedA researcher has claimed to have made significant improvements on top of the mathematical results recently published by OpenAI, with formal verification completed using the Lean theorem prover.64% similarUnverified赋予模型执行代码和工具调用的能力，使其能在数学、编程等有可验证奖励的领域进行搜索并显著提升表现64% similarUnverifiedThe researchers validated CITA on three tool-use benchmarks in combination with multiple different backbone LLMs, and the results show consistent improvements on both Tool F1 and task success rate metrics.63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1014153API
curl https://kongchang.com/api/v1/knowledge/claims/1014153MCP
get_claim(id=1014153)