Նոբելյան մրցանակակրի հանձնախումբը հաստատել է OpenAI-ի Յանգ-Միլսի ապացույցը

28 աղբյուր
techtimes.com
  • Նոբելյան մրցանակակիր Դեյվիդ Գրոսի գլխավորած հանձնախումբը նոյեմբերի 10-ին հրապարակել է զեկույց, ըստ որի OpenAI-ի մեքենայական ստուգում անցած ապացույցը ցույց է տալիս, որ մաքուր Յանգ-Միլսի տեսությունը գոյություն ունի։
  • OpenAI-ն հայտնում է, որ իր մոդելները սեպտեմբերի 9-ին գրել են ապացույցը, իսկ հոկտեմբերի 16-ին ավարտել են Lean ձևայնացումը, որից հետո խնդրել են Գրոսին ղեկավարել ապացույցի հրապարակումը։
  • Գրախոսները նշել են, որ աշխատանքը չի ապացուցում զանգվածային ճեղքի գոյությունը, որը Քլեյի մաթեմատիկական ինստիտուտի 1 միլիոն դոլարանոց մրցանակի հիմքում ընկած խնդիրն է, և խոստովանել են, որ դեռևս լիովին չեն հասկանում այն։
Աղբյուրներ (28)
  1. 1 Gross Panel Sets Release of OpenAI’s Yang-Mills Lean Proof fourweekmba.com
  2. 2 3rd Statement About Quantum Yang-Mills Theory_Oct 26 www.kitp.ucsb.edu
  3. 3 Working with academic communities to build scientific ... openai.com
  4. 4 Proof by OpenAI of the Existence of Quantum Yang-Mills ... www.kitp.ucsb.edu
  5. 5 Nobel laureate validates OpenAI's AI-generated Yang-Mills proof, but $1 million problem remains open www.indiatoday.in
  6. 6 Statement by the Yang-Mills Working Group www.kitp.ucsb.edu
  7. 7 Yang-Mills Group Announces Public Review Plan for OpenAI Lean Proof | TokenPost www.tokenpost.com
  8. 8 Nobel laureate David Gross's committee backs OpenAI's Yang-Mills existence proof startupfortune.com
  9. 9 OpenAI Claims Proofs of Yang-Mills Existence and ETH ... letsdatascience.com
  10. 10 Gross committee outlines review of OpenAI’s claimed proof ... eternalsearch.net
  11. 11 Yang-Mills Working Group to publish OpenAI’s Lean code for review cryptobriefing.com
  12. 12 OpenAI solved open math problems, it says: local smoothing, the Exponential Time Hypothesis and QCD, and what has actually been checked 9to5ai.tech
  13. 13 Yang-Mills Existence and Mass Gap - AI Wiki aiwiki.ai
  14. 14 OpenAI Yang Mills Existence Lean Proof Released and ... www.reddit.com
  15. 15 OpenAI's Yang–Mills Claim: Existence vs Mass Gap quantum-nature.com
  16. 16 OpenAI claims AI model proved Kakeya conjecture and ... worldattention.com
  17. 17 OpenAI ETH & Yang-Mills Claims: Proven vs. Claimed | MarkGrid markgrid.ai
  18. 18 OpenAI Claims AI Produced New Results in Math, Computer ... xenospectrum.com
  19. 19 OpenAI Exponential Time Hypothesis Disproved? 3 Claims |... www.explainx.ai
  20. 20 OpenAI Yang-Mills Proof Validated: What Lean Shows | explainx.ai Blog explainx.ai
  21. 21 openai_math_yang_mills/YANGMILLS.md at main - GitHub github.com
  22. 22 When AI Hands Over Verifiable Proofs: Inside OpenAI's Three ... locsic.com
  23. 23 OpenAI's Claimed Math and Physics Breakthroughs… · AGI Hunt agihunt.info
  24. 24 OpenAI Claims Yang-Mills, ETH and Kakeya Proofs cellcog.ai
  25. 25 OpenAI puts three AI-generated breakthroughs before academic review mlq.ai
  26. 26 (Science News: October 2026) A Green Star, AI and the Biggest ... physicsexplained.substack.com
  27. 27 YM/docs/assessment-1.pdf at main · yang-mills-group/YM - GitHub github.com
  28. 28 assessment-1.pdf raw.githubusercontent.com
Share

Related Posts