Заяву математиків передано в переказі Hacker News.

Трістан Бакмастер і Левент Альпьоге заявили, що довели, що в тривимірному нестисливому рівнянні Ейлера за скінченний час виникає сингулярність, тобто ситуація, за якої величина стає нескінченною. TechCrunch називає Бакмастера професором математики Нью-Йоркського університету та пише, що він оголосив про три докази.

Scientific American повідомляє, що троє математиків опублікували доказ: якщо прибрати зовнішню силу, сингулярність зникає.

Scientific American доходить висновку, що підхід OpenAI не можна застосувати до задачі в повному вигляді без спеціально заданої зовнішньої сили.

Перевірка тверджень:

  • Трістан Бакмастер і Левент Альпьоге заявили, що довели, що в тривимірному нестисливому рівнянні Ейлера за скінченний час виникає сингулярність. (підтверджено лише публікацією-переносником: доказ; «Tristan Buckmaster and Levent Alpoge claim to have proven finite-time blowup for 3D incompressible Euler using LLMs»)
  • TechCrunch називає Бакмастера професором математики Нью-Йоркського університету та пише, що він оголосив про три докази. (підтверджено самою публікацією: доказ; «NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday»)
  • Scientific American повідомляє, що троє математиків опублікували доказ: якщо прибрати зовнішню силу, сингулярність зникає. (підтверджено самою публікацією: доказ; «the new work released last Thursday shows unequivocally that if the force is removed, the blowup will disappear.»)
  • Scientific American доходить висновку, що підхід OpenAI не можна застосувати до задачі в повному вигляді без спеціально заданої зовнішньої сили. (підтверджено самою публікацією: доказ; «OpenAI’s method can never work, in fact, without using a very contrived equation for the force»)

Публікації:

Першоджерела:

оцінка 56,9 зі 100 · тип: анонс · оновлення 17