OpenAI виклала на GitHub 372 математичні доведення, закликавши академічний світ не відставати
OpenAI опублікувала на GitHub 372 математичні результати, згенеровані ШІ, зокрема формалізації Lean для машинної перевірки. На кожен результат у середньому пішло близько трьох годин обчислювальних ресурсів ChatGPT Pro. Але 25 лауреатів медалі Філдса попереджають, що масове виробництво математичних істин може знищити плідну…